4 Commits

Author	SHA1	Message	Date
Michael Bebenita	388f8ce520	Cleaned up locking in the kernel.	2010-09-08 15:17:09 -07:00
Michael Bebenita	7f6d8b95bd	Fixed race in the rust kernel.	2010-09-07 23:37:51 -07:00
Michael Bebenita	de611a3090	Lots of design changes around proxies and message passing. Made it so that domains can only talk to other domains via handles, and with the help of the rust_kernel.	2010-09-07 18:44:12 -07:00
Michael Bebenita	f8ff013e3c	Added a few utility classes, cleaned up the include order of .h files, and started to make the Rust kernel own domain message queues rather than the Rust domains themselves.	2010-09-07 18:41:07 -07:00