Movatterモバイル変換

Skip to content

#

sculpt-os

Here are 3 public repositories matching this topic...

Language:All

Filter by language

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

UpdatedMar 17, 2025
C++

genodelabs /goa

Tool for streamlining the development of Genode applications

linux cplusplus cpp tool gcc osdev goa genode sculpt-os

UpdatedMar 10, 2025
Tcl

genodelabs /genodians.org

Website for stories around the Genode operating system

blog documentation howto osdev goa genode sculpt-os genodians

UpdatedFeb 25, 2025
C++

Improve this page

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

[8]ページ先頭

©2009-2025 Movatter.jp