| Commit message (Collapse) | Author | Age | Files | Lines |
| | |
|
| |
|
|
| |
See lib/run_program.rs.
|
| |
|
|
| |
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.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|