ocaml-rpi

Exokernel to run ocaml baremetal on the Raspberry Pi

To test run make and copy the kerne.img to your SD card in place of the linux kernel you normaly have on a RPi bootable card.

Or compile qemu with RPi patches [1], adjust the QEMU variable in the Makefile and run "make && make test".

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
test		test
.gitignore		.gitignore
Framebuffer.ml		Framebuffer.ml
Framebuffer_stubs.c		Framebuffer_stubs.c
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
Thread.ml		Thread.ml
Thread_stubs.c		Thread_stubs.c
Time.ml		Time.ml
Time_stubs.c		Time_stubs.c
boot.S		boot.S
entry.S		entry.S
foo.ml		foo.ml
link-arm-eabi.ld		link-arm-eabi.ld
list.h		list.h
main.c		main.c
memory.c		memory.c
memory.h		memory.h
mmio.h		mmio.h
printf.c		printf.c
printf.h		printf.h
string.c		string.c
string.h		string.h
uart.c		uart.c
uart.h		uart.h

Provide feedback