Pinned Repositories
aws-robomaker-robotics-curriculum
Introductory robotics curriculum
camkes
Component Architecture test suite and example apps.
camkes-vm
Virtual Machine build as a CAmkES component.
capdl
Capability Distribution Language tools for seL4
docker-sel4-camkes
Docker image for Barrelfish OS build tools
erlexec
Execute and control OS processes from Erlang/OTP
GHC-Cabal
Scripts to install GHC and Cabal
initbot
Discord bot that manages RPG character initiatives
seL4
The seL4 microkernel
ikuz's Repositories
ikuz/docker-sel4-camkes
Docker image for Barrelfish OS build tools
ikuz/aws-robomaker-robotics-curriculum
Introductory robotics curriculum
ikuz/camkes
Component Architecture test suite and example apps.
ikuz/camkes-vm
Virtual Machine build as a CAmkES component.
ikuz/capdl
Capability Distribution Language tools for seL4
ikuz/erlexec
Execute and control OS processes from Erlang/OTP
ikuz/GHC-Cabal
Scripts to install GHC and Cabal
ikuz/initbot
Discord bot that manages RPG character initiatives
ikuz/seL4
The seL4 microkernel
ikuz/seL4-DevKit-Doc
Documentation for the seL4 DevKit
ikuz/sel4-tutorials
Tutorials for working with seL4 and/or CAmkES.
ikuz/sel4-tutorials-manifest
ikuz/sel4-tutorials-source
This repository has been deprecated and its contents merged with https://github.com/SEL4PROJ/sel4-tutorials
ikuz/sel4-tutorials-source-manifest
This repository has been deprecated and its contents merged with https://github.com/SEL4PROJ/sel4-tutorials-manifest