| Age | Commit message (Collapse) | Author | 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.
|
|
|