Quick Guide to the OS Source#

Where is the OS Source?#

• /services/system

How do I checkout and build the source?#

• checkout
• build

Where are the good bits?#

The operating system (remember, by "operating system" we mean kernel and procnto) is comprised of the following pieces, each described on its own page:

• the kernel (/services/system/ker)
• the memory manager (/services/system/memmgr)
• the path manager (/services/system/pathmgr)
• the process manager (/services/system/procmgr and /services/system/proc)

Public headers are stored in /services/system/public.