mrvn/ocaml-rpi

Exokernel to run ocaml baremetal on the Raspberry Pi

13 commits

updated Jul 11, 2014

README

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".

-- [1] https://github.com/Torlus/qemu.git

Contributors

mrvn

13 commits

Similar repos

dbuenzli/rpi-boot-ocaml

Raspberry Pi boot support for the OCaml system (unreleased)

dinosaure/gilbraltar

MirageOS on RPi4

nojb/riscv-ocaml

RISC-V port of the OCaml system

organix/pijFORTHos

A bare-metal FORTH operating system for Raspberry Pi

258

mato/opam-rumprun

OCaml 4.02 cross compiler for the rumprun unikernel stack

s-matyukevich/raspberry-pi-os

Learning operating system development using Linux kernel and Raspberry Pi

13,937

dancrossnyc/r9

Plan 9 in Rust

mirage/mirage

MirageOS is a library operating system that constructs unikernels

2,995

Languages

84.7%

Assembly

10.4%

OCaml

3.5%

C++

1.3%

mrvn/ocaml-rpi

Exokernel to run ocaml baremetal on the Raspberry Pi

13 commits

updated Jul 11, 2014

See the code

README

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".

-- [1] https://github.com/Torlus/qemu.git

Similar repos

dbuenzli/rpi-boot-ocaml

Raspberry Pi boot support for the OCaml system (unreleased)

dinosaure/gilbraltar

MirageOS on RPi4

nojb/riscv-ocaml

RISC-V port of the OCaml system

organix/pijFORTHos

A bare-metal FORTH operating system for Raspberry Pi

258

mato/opam-rumprun

OCaml 4.02 cross compiler for the rumprun unikernel stack

s-matyukevich/raspberry-pi-os

Learning operating system development using Linux kernel and Raspberry Pi

13,937

dancrossnyc/r9

Plan 9 in Rust

mirage/mirage

MirageOS is a library operating system that constructs unikernels

2,995

Contributors

mrvn

13 commits

Languages

84.7%

Assembly

10.4%

OCaml

3.5%

C++

1.3%