#

sculpt-os

Here are 3 public repositories matching this topic...

genodelabs / genode

Genode OS Framework

linux arm framework cplusplus cpp virtualization hypervisor osdev operating-system riscv goa x86 nova microkernel sel4 genode object-capabilities sculpt-os

Updated Jan 7, 2025
C++

genodelabs / goa

Tool for streamlining the development of Genode applications

linux cplusplus cpp tool gcc osdev goa genode sculpt-os

Updated Jan 9, 2025
Tcl

genodelabs / genodians.org

Website for stories around the Genode operating system

blog documentation howto osdev goa genode sculpt-os genodians

Updated Aug 12, 2024
CSS

Improve this page

Add a description, image, and links to the sculpt-os 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 sculpt-os topic, visit your repo's landing page and select "manage topics."