Ivan Velickovic's repositories
sel4_renode
Simulating seL4 projects with Renode
star64_sdcard
A script for building a microSD card image contains U-Boot/OpenSBI for the Pine64 Star64 SBC
capdl
Capability Distribution Language tools for seL4
ci-actions
CI GitHub actions for the seL4 repositories
docs
This is the source of the seL4 docs.
dtb.zig
parse device tree blobs
hugo-book
Hugo documentation theme as simple as plain book
libmantle
Safe Austral APIs for your seL4 Core Platform projects.
microkit_sdf_gen
Experimenting with higher-level tooling for the seL4 Microkit
microkit_zig_build
An example of using the Zig build system to build a seL4 Microkit system
micropython
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
picolibc
picolibc - a C library designed for embedded 32- and 64- bit systems.
riscv-barebones
Barebones RISC-V kernel template for Zig
rust-seL4
Rust support for seL4 userspace
seL4-CAmkES-L4v-dockerfiles
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
sel4-riscv-vmm-manifest
Manifest for building an experimental RISCV VMM
seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
sel4_riscv_vmm
An experimental RISCV VMM based on seL4 with RISCV hypervisor extension.
seL4_tools
Basic tools for building seL4 projects
sel4test
Test suite for seL4.
u-boot
"Das U-Boot" Source Tree
zig-doctest
A tool for testing snippets of code, useful for websites and books that talk about Zig.