Brad Campbell

Thinking about this more, `CapabilityPtr` is entirely for CHERI; it would not be in Tock without CHERI. It seems unlikely anyone would ever modify it unless they were working on...

I have been working on this in branch https://github.com/tock/tock/tree/process-array-bradjc. I thought it would make sense to just have a `ProcessArray` struct (rather than the type alias). However, I don't know...

> > I need an ID that outlives a process, and is allocated even when the process is not. > > Okay, I understand the need there. I think my...

I think it's fine to deallocate a process and reuse its memory. All uses of ProcessID would go through a check like this which works even if there is a...

Coming back to this, there are a few moving pieces. First, I've got my branch compiling for the nRF52840dk: https://github.com/tock/tock/compare/process-array-bradjc?expand=1. Rather than type aliases it just creates a new file...

A portion of this PR was merged in #4447, mainly the new ProcessArray data type, removal of addr_of in boards, and improved APIs in kernel.rs. What hasn't been merged is...

I agree about the DMA registers fix and that other than that this is ready.

Once we have #4595 ready and the PR which uses this stack we can start merging these.

Amazing, thank you for sending the updates. Links to issues/PRs from the slides for others to discover and maybe find while searching: - QEMU version on macOS: https://gitlab.com/sgarzarella/qemu/-/tree/macos-vhost-user - https://github.com/rust-vmm/vhost/issues/110...

Is there a PR that uses this in main.rs? It would be good to have an example of using the keyboard, particularly so we can try it out.