Builds, but not fully tested. Good tests for capability subsystem, some tests
Non-isolated kernel threads can "enter" the lcd system by doing
klcd_enter / klcd_exit. They can create other lcd's, set them up, etc. They
use the same interface that regular lcd's will use, so such code could be
moved to an lcd, as we had planned. Will document this in Documentation folder
tomorrow ( == today ).
Capability system does checks now when a capability is deleted/revoked: for
example, if it's for a page, the microkernel checks if the page is mapped, and
unmaps it. If the last capability goes away, the page is freed. Documentation
is in Documentation/lcd-domains/cap.txt.
IPC code is in place, but not tested yet (pray for me).
Debug is taking some time. Sometimes requires a power cycle which adds an
extra 5 - 10 minutes. Build is slow the first time after reboot. Give me a user
level program and I'll debug it in 30 seconds! argc
Main arch-independent files:
This is what non-isolated kernel code should include to use the
kliblcd interface to the microkernel.
virt/lcd-domains/main.c, kliblcd.c, cap.c, ipc.c, internal.h
The microkernel, broken up into pieces.
The tests, in progress.
Some old files are still hanging around in virt/lcd-domains and will be
incorprated/cleaned up soon.
I couldn't squash over the merge from the decomposition branch, so there's a
bunch of junk commits coming over. (I should've just copied Muktesh's files.)
Resolved-by: Vikram Narayanan <email@example.com>