aboutsummaryrefslogtreecommitdiff
path: root/src/rt/rust_kernel.h
Commit message (Collapse)AuthorAgeFilesLines
* Cleaned up locking in the kernel.Michael Bebenita2010-09-081-6/+11
|
* Fixed race in the rust kernel.Michael Bebenita2010-09-071-0/+3
|
* Lots of design changes around proxies and message passing. Made it so that ↵Michael Bebenita2010-09-071-6/+99
| | | | 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/+21
started to make the Rust kernel own domain message queues rather than the Rust domains themselves.