Johnathan Van Why
Johnathan Van Why
*This PR proposes a new design for the registers structs generated by `register_structs!` that attempts to resolve an existing bug while adding support for testing driver implementations.* ## Goals of...
[Rendered](https://github.com/jrvanwhy/tock/blob/core-notes-2022-07-29/doc/wg/core/notes/core-notes-2022-07-29.md)
OpenSK uses `tockloader` to deploy the kernel and apps, and currently passes flags that cause `tockloader` to invoke `JLinkExe`. We should allow users to use OpenOCD instead of `JLinkExe`, by...
When I designed `libtock_unittest`, I intended for users of `libtock-rs` to be able to build their own `fake::SyscallDriver` implementations. Such implementations would be contained in crates with a dependency on...
This issue tracks the remaining work items for the Tock 2.0 `libtock-rs` crates. This is basically a list of things I have designed and prototyped, but not implemented. - [x]...
`README.md` needs to be updated for the Tock 2.0 `libtock-rs` crates, as the Tock 1.0 crates have been removed.
In https://github.com/tock/libtock-rs/pull/373, we noticed that this repository is split between using `driver_number`/`DRIVER_NUMBER` and `driver_num`/`DRIVER_NUM`. We decided to prefer `driver_num`/`DRIVER_NUM` for consistency with the main Tock repository. We should replace all...
Question: If you try to build process binaries with two different layouts concurrently, does it result in a race condition? I'm primarily concerned with the layout file selection in `libtock_runtime`'s...
When Tock 2.0 was released, capsules had the ability to refuse to return Allow buffers as well as the ability to return buffers other than the most recently provided buffer....
The unit tests and system call implementations have some awkward conversions between `Register` and the `ErrorCode` and `ReturnVariant` types. In particular, calling `assert_eq!()` on the results of a system call...