Pinned Repositories
armv7a
armv7a bare-metal Rust support
crosstool-ng
A versatile (cross-)toolchain generator.
edk2-rk3588
EDK2 UEFI firmware for Rockchip RK3588 platforms
openTAWS
A draft for an open TAWS
seL4
The seL4 microkernel
sel4-rs
sel4-vm
seL4_tools
Basic tools for building seL4 projects
moritz-meier's Repositories
moritz-meier/armv7a
armv7a bare-metal Rust support
moritz-meier/crosstool-ng
A versatile (cross-)toolchain generator.
moritz-meier/edk2-rk3588
EDK2 UEFI firmware for Rockchip RK3588 platforms
moritz-meier/openTAWS
A draft for an open TAWS
moritz-meier/seL4
The seL4 microkernel
moritz-meier/sel4-rs
moritz-meier/sel4-vm
moritz-meier/seL4_tools
Basic tools for building seL4 projects
moritz-meier/util_libs
moritz-meier/u-boot-xlnx
The official Xilinx u-boot repository
moritz-meier/xilinx-flake-utils
A flake which hopefully proves useful for fellow Xilinx users
moritz-meier/xtools
GCC toolchain configs for crosstool-ng