mirror of
https://github.com/drasko/codezero.git
synced 2026-01-17 21:33:15 +01:00
18ffa0b4d1
We moved initial list of a pager's caps from ktcb to task's space since the task is expected to trust its space. Most references to task->cap_list had to change. Although a single cap list only tells part of the story about the task's caps, the TASK_CAP_LIST macro works for us to get the first private set of caps that a task has.
Codezero POSIX Services This directory contains the source code for the POSIX services developed on top of the Codezero Microkernel. There is a pager called MM0 which demonstrates how a pager on top of Codezero should act, by its system call usage. FS0 is the VFS task that implements File IO via IPC. FS0 can be thought of as a micokernel server. Test0 is the userspace task that tests microkernel system call functionality as well as the POSIX system call functionality by issuing calls to MM0 and FS0. Codezero POSIX services partially demonstrate how a POSIX level operating system would be written on top of Codezero. Unlike shallow implementations on embedded systems that only look like POSIX, mm0 and fs0 implement a real virtual memory subsystem and virtual filesystem that solidly backs the API. Neverhteless services such as terminal IO and common filesystem support are currently missing.