| Age | Commit message (Collapse) | Author | Lines |
|
so access to argv works.
|
|
|
|
|
|
|
|
|
|
primitives, switch rust_kernel to use a lock/signal pair and wait rather than spin.
|
|
domains can only talk to other domains via handles, and with the help of the rust_kernel.
|
|
started to make the Rust kernel own domain message queues rather than the Rust domains themselves.
|
|
and fixed race caused by calling rust_srv::malloc() from multiple threads when sending messages.
|
|
assertion macros.
|
|
|
|
|
|
|
|
|
|
|
|
system use it (and proxies) instead of existing token scheme.
|
|
|
|
|
|
|
|
|
|
runtime. Closes #109.
|
|
|
|
|
|
communication. Channels now buffer on the sending side, and no longer require blocking when sending. Lots of other refactoring and bug fixes.
|
|
|
|
|
|
|
|
|
|
|
|
|