jhotl

TechnolutionGouda

Pinned Repositories

genode-manual
Reference manual for the Genode OS Framework
Language:Tcl0 1 00
riscv-4th-workshop-tutorials
4th RISC-V Workshop Tutorials
Language:C15 18 011
frenox-linux
Language:Makefile0 3 00
frenox-tools
meta archive to build the frenox toolchain and linux environment
Language:Makefile0 3 00
riscv-security-tutorial
4th RISC-V Workshop Security Tutorial
Language:C2 1 01

jhotl's Repositories

jhotl/genode-manual
Reference manual for the Genode OS Framework
Language:Tcl0 1 00