MirageOS on ESP32: a tale of build systems2019: Tarides fixed-term contract, under the supervision of Thomas Gazagnaire Late 2020: Back with Tarides to finish the work
Following my Cambridge internship, I've been working for 5 months at Tarides, a startup company focusing on the OCaml ecosystem to build functional systems. The goal was to make the ESP32 port first class in the Mirage ecosystem, but it actually required deep build system changes. This work is not quite finished but most of the port to Dune has been achieved.
OCaml on ESP32: a tale of cross-compilation2018: University of Cambridge - OCamlLabs internship, under the supervision of Anil Madhavapeddy
During my Master's degree internship at OCamlLabs - Cambridge, I've been working on porting the OCaml compiler to the ESP32 microcontroller. It's a low-budget, high-connectivity chipset which embeds a dual-core 240MHz processor along with Wifi and Bluetooth networking. It's an ideal platform for small connected devices that require low-cost, low-power but sufficient computing capabilities.
I've been able to add a new native compilation backend for the OCaml compiler, and successfully ported the base layer of MirageOS, along with the networking layer.
WindOS: the light Raspberry Pi operating system2016: ENS - school project, under the supervision of Marc Pouzet and Timothy Bourke
School project, featuring traditional kernel features such as virtual memory, a VFS, graphics, pre-emptive scheduling.. and a magnificent WESH (WindOS Experimental SHell).
- Github project