The Wayback Machine - https://web.archive.org/web/20210504220914/https://github.com/topics/kernel
Skip to content
#

kernel

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

gvisor
unknowndev233
unknowndev233 commented Jun 23, 2020

Description

runsc install is able to edit /etc/docker/daemon.json to enable Docker to replace runc with runsc.
Would be great if podman supports this feature.

Is this feature related to a specific bug?

No. By the way, does gVisor depend on Docker just for the reason that Docker uses runsc as its runtime?

Do you have a specific solution in mind?

To replace the runtim

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

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 May 1, 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