Jeremy Weasley's repositories
ARM-Micro-Kernel
ARM720t micro kernel & Märklin Train controlling demo project
Language:CMIT000
codezero
Codezero Microkernel
Language:CNOASSERTION000
f9-kernel
F9 microkernel built for ARM Cortex-M series with efficiency and memory protection in mind
Language:CNOASSERTION000
HedisToys
Simple experiments with the Haskell hedis package for Redis.
Language:HaskellBSD-3-Clause000
microkernel
x86 microkernel - Dead, I'll write it down again from scratch
Language:CMIT000
Language:C++000
nucleos
Nucleos is an open-source micro-kernel which is borne by minix3 but goes on its own way. For disk-image, articles and howtos check the website.
Language:CNOASSERTION000
PiOS
My experimental bare metal OS for the raspberry pi
Language:CMIT000
the-pragmatic-haskeller
A collection of simple building blocks for a fully-fledged Haskell application
Language:JavaScript000