As an example SerenityOS/serenity@9c0cfed embeds icons into the Super Mario port. Ideally this functionality would be made available to other ports as well - maybe as a function in .port_include.sh.

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

When root filesystem fails and drops to initramfs, it is impossible to mount fat32 boot partition to correct and error
the error message is "IO charset ascii not found".
I believe nls_ascii should be built-in to solve this problem

This is on hold because of the many bugs in the compiler

The build has received support for C++20 modules and it's now time to port the whole codebase to it.

The battle plan is to first port applications and utilities and then works our way down the dependency chain except everything needed by the kernel and the libc: libsystem, libio, libutils, libjson

Applications

• about

I can't disable kiosk mode due to a write-protected partition, how can I enable writing to chrome_dev.conf?