Skip to content
#

kernel

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

MaxWipfli
MaxWipfli commented Jun 17, 2021

For non-installed applications (which can now happen due to the new build system features), the taskbar still shows the entries, although the icons aren't shown.

It could make sense to always show all entries with their icons, but disable the ones which aren't installed. This would give users an overview of what applications are available for the system.

This would require the taskbar to che

gvisor
bradjc
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
build
gyohng
gyohng commented Jun 7, 2021

debootstrap.sh 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/debootstrap.sh
+++ b/lib/debootstrap.sh
@@ -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 26, 2021
  • Rust
skift
sleepy-monax
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

Applications

  • 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