If I rattle on the keyboard I get ControlLeft coming up regularly, even though I am far from the control keys. Upgrading pc_keyboard to 0.5.0 seems to fix it.

With Tock running on this board with virtual_uart sitting on top of USB, the Nano 33 BLE is a reasonably promising board to be a standard, well supported Tock board. Additionally, if the board turns out to not be great, the infrastructure which would make the Nano 33 BLE work well would apply to any other board that has the nRF52840 + USB combination.

• Make the bootloader and tockloader ex

Hello,

Is there currently a way to filter what processes to query in terms of the process name or the process group or something?

Based on the oshi documentation, we can only use:

• getProcesses() - get all of the processes
• [getProcesses​(int limit, OperatingSystem.ProcessSort sort)](https://oshi.

When the kernel first starts, when it prints "Harvey\n" it should ALSO print the date/time when the kernel was built and the commit ID.

This will help in debugging, making sure you're up-to-date.