시스템 콜(1) - 보호링, sys_call_table, TSS, GDT
How does thread/process switching work in Pintos? - MPCS 52030 - Operating Systems
Hello Radia! : 네이버 블로그
fd(File Descriptor)가 할당되는 과정
User space memory access from the Linux kernel