Alexandru Radovici

> 1. It's cool that this can be done without modifying the core kernel. However, the architecture itself is not what is enabling this optimization, the design of Tock is....

Please excuse my late reply. So far the screen HIL only defines color modes that are a multiple of 8 inspired from what LVGL was providing. If you need a...

I was playing with the IPC API and noticed that applications fault due to memory protection if the shared buffers are not multiple of 64. The buffer's memory region does...

From what I understand here, to use NimBLE as an application, it would require access to all these listed peripherals? I think giving applications direct access to hardware is not...

As long as this does not imply an application having direct access to hardware, I am eager to see a working BLE driver in Tock.

> How big is the overhead of syscalls in Tock? Do syscalls cause rescheduling? > We did test that for the micro:bit, a system call round trip seems to be...

We did test several use cases, those are numbers (I think for Tock 1.6) when no other process is running. It gets worse if other processes are running.

Can you point us to the exact crate that you are using and the crate (library) that it depends on from this repository?

# STM32F412g Discovery depends on #3166 - Tests - [x] `examples/sensors` - sense_to_console: Application that samples a sensor and outputs values to console - depends on #3159 - [x] `examples/c_hello`...

# Nucleo429zi depends on #3166 - Tests - [x] `examples/sensors` - sense_to_console: Application that samples a sensor and outputs values to console - depends on #3159 - [x] `examples/c_hello` and...