Top Repositories
Microkit - A simple operating system framework for the seL4 microkernel
A script for building a microSD card image contains U-Boot/OpenSBI for the Pine64 Star64 SBC
Experimenting with WASM on LionsOS
The seL4 microkernel
Simulating seL4 projects with Renode
Repositories
57Windows paravirtualized drivers for QEMU\KVM
Demonstrates the use of the seL4 crates with the seL4 Microkit
No description provided.
Snapshot of https://gitee.com/bianbu-linux/uboot-2022.10
Microkit - A simple operating system framework for the seL4 microkernel
The seL4 microkernel
An example of using the Zig build system to build a seL4 Microkit system
GUI for inspecting and acting like a little detective with Device Trees
Objective-C runtime bindings for Zig (Zig calling ObjC).
Manually tweaked, auto generated raylib bindings for zig. https://github.com/raysan5/raylib
A script for building a microSD card image contains U-Boot/OpenSBI for the Pine64 Star64 SBC
picolibc - a C library designed for embedded 32- and 64- bit systems.
No description provided.
sel4 benchmarking applications and support library.
RFCs for the seL4 ecosystem
No description provided.
Pre-built Rasberry Pi 4B SD card image for seL4
Experimenting with WASM on LionsOS
No description provided.
Scripts for dealing with Device Trees
parse device tree blobs
No description provided.
A tool for testing snippets of code, useful for websites and books that talk about Zig.
Simulating seL4 projects with Renode
Capability Distribution Language tools for seL4
Hugo documentation theme as simple as plain book
Rust support for seL4 userspace
Safe Austral APIs for your seL4 Core Platform projects.
"Das U-Boot" Source Tree
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems