Skip to content


Here are 2,662 public repositories matching this topic...

bradjc commented Jun 24, 2020

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
gyohng commented Jun 7, 2021 replaces extraargs or another line in the environment where it finds 'console=' before the line that starts with console=

Suggested the following fix:

--- a/lib/
+++ b/lib/
@@ -626,7 +626,7 @@ prepare_partitions()
 	# if we have a headless device, set console to DEFAULT_CONSOLE
 	if [[ -n $DEFAULT_CONSOLE && -f $SDCARD/boot/armbianE

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧, novel OS structure, and state management. It strives to close the semantic gap between compiler and hardware in order to maximally leverage the power of language safety, and thus shift OS responsibilities (resource management) into the compiler.

  • Updated Jun 13, 2021
  • Rust
sleepy-monax commented Apr 23, 2021

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


  • about

Improve this page

Add a description, image, and links to the kernel topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the kernel topic, visit your repo's landing page and select "manage topics."

Learn more