aboutsummaryrefslogtreecommitdiff
path: root/src/rt/rust_kernel.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Cleaned up locking in the kernel.Michael Bebenita2010-09-081-40/+42
|
* Fixed race in the rust kernel.Michael Bebenita2010-09-071-17/+30
|
* Lots of design changes around proxies and message passing. Made it so that ↵Michael Bebenita2010-09-071-9/+161
| | | | domains can only talk to other domains via handles, and with the help of the rust_kernel.
* Added a few utility classes, cleaned up the include order of .h files, and ↵Michael Bebenita2010-09-071-0/+43
started to make the Rust kernel own domain message queues rather than the Rust domains themselves.