| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |
|
|
| |
domains can only talk to other domains via handles, and with the help of the rust_kernel.
|
| |
|
|
| |
zero. This should only happen in the Rust code and not in the drop glue, or on the unwind path. This change allows the task owning the channel to block on a flush and delete its own channel. This change also cleans up some code around rust_port and rust_chan.
|
| |
|
|
| |
system use it (and proxies) instead of existing token scheme.
|
| | |
|
| |
|
|
| |
communication. Channels now buffer on the sending side, and no longer require blocking when sending. Lots of other refactoring and bug fixes.
|
| |
|