Brad Campbell

Results 658 comments of Brad Campbell

Hmm, this might be trickier than originally thought to do without `[ProcessBinary]`. A key feature is we want to run the highest versioned credentialed process of the same app. That...

What is > libtock-c specific OpenThread radio functionality ?

For the flash storage, what is required? How many bytes do we need to store?

> I do not have an exact answer for now. Briefly checking, it appears on the order of ~24kB persistent storage is expected. Ok that is quite a bit. We...

I think there is a fundamental mismatch with trying to use OpenThread in userspace with the `capsules/extra/ieee802154/driver.rs` syscall driver. That driver is built on this stack: ```text ┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄ Syscall Interface...

> Ideally these changes should be entirely abstracted from userland. The easiest path is to have two separate `SyscallDriver` implementations which expose (mostly) the same interface. A more complicated approach...

Yes in branch linked above

I'm not sure I understand why CSRs are different from any other registers. I agree that reading a nonexistent one is bad, and if that is possible in chip code...

> Code which wants to access this register would then call e.g., `(unsafe { riscv::csr::mscratch() }).get()`, ensuring that register creation is the unsafe operation, and all further operations are then...