OCaml on the ESP32 chip: Well Typed Lightbulbs Await
The OCaml system enjoys excellent support for a wide variety of hardware systems, and is not hard to port to new platforms, as long as Unix-like OS facilities (notably a libc) are available.
This talk discusses the issues that arise when trying to port instead to a platform without such general purpose OS facilities and tackles the resulting tricky cross-compilation issues. Interfacing directly with the hardware and via a ported MirageOS layer is also discussed, as well as cross-compilation of user libraries and strategies for reducing code size.
Running OCaml in new platforms is always fun, and the technical aspects will be interesting to anyone working in a cross-compilation setting.
Thu 27 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change
11:20 - 12:00
|The Vecosek Ecosystem
Sebastien Mondet Mount Sinai - Hammer Lab
|OCaml on the ESP32 chip: Well Typed Lightbulbs Await