Pinned Repositories
ada-bfd
Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.
bbl-lite
RISC-V Proxy Kernel
foc
Fork of Fiasco.OC and parts of L4RE that are used by the Genode framework.
genode
Genode OS Framework
genode-allwinner
Allwinner SoC support for the Genode OS framework
genode-devel-docker
Utility to handle a docker image/container for Genode development
genode-world
Collection of community-maintained components for Genode
l4linux
Clone of L4Linux from tudos.org
linux
Linux kernel source tree
skalk.github.io
Blog about daily system programming
skalk's Repositories
skalk/genode
Genode OS Framework
skalk/genode-devel-docker
Utility to handle a docker image/container for Genode development
skalk/linux
Linux kernel source tree
skalk/foc
Fork of Fiasco.OC and parts of L4RE that are used by the Genode framework.
skalk/genode-allwinner
Allwinner SoC support for the Genode OS framework
skalk/genode-world
Collection of community-maintained components for Genode
skalk/l4linux
Clone of L4Linux from tudos.org
skalk/skalk.github.io
Blog about daily system programming
skalk/ada-bfd
Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.
skalk/bbl-lite
RISC-V Proxy Kernel
skalk/compulab-linux-kernel-dts
Clone of the device tree subdirectory of Linux kernel for Compulab SoMs
skalk/dwc_otg
USB host-controller driver for Raspberry Pi
skalk/genode-chest
skalk/genode-imx
i.MX SoC family support for the Genode OS framework
skalk/genode-manual
Reference manual for the Genode OS Framework
skalk/genode-riscv
RISC-V board support
skalk/genode-rpi
Raspberry Pi family support for Genode OS framework
skalk/genode-zynq
Zynq SoC support for the Genode OS framework
skalk/genodian
skalk/genodians.org
Website for stories around the Genode operating system
skalk/morbo
A toolchain for Firewire booting and remote DMA
skalk/NOVA
NOVA Microhypervisor
skalk/seL4_tools
skalk/u-boot
"Das U-Boot" Source Tree