OCaml on ESP32 - a tale of cross-compilation

• Work in progress status and links - 02/10/2018

  This article holds my Github projects links related to Mirage-OCaml-ESP32 and will be updated with my progress. It also serve as my notepad and thought long-term storage so you might expect random stuff there too!

• Oct 2, 2018 What now?

  My OCaml Labs internship is done, and my ESP32 work has been presented at ICFP 2018's OCaml Workshop. So what's next ?

• Jun 22, 2018 Build your own Mirage application!

  A month after the first proof of concept, work has been done and here is how you can start to experiment with Mirage on ESP32 chips.

• May 4, 2018 A Mirage unikernel running on an ESP32

  I finally hacked my way into running a first Mirage hello world!

• Apr 27, 2018 Compiling and linking for ESP32

  A guide to a full native compilation workflow for ESP32

• Mar 28, 2018 The Xtensa architecture

  Let's have an insight on what kind of processor ESP32 boards rely on. A lot of standard stuff but my attention will be drawn on something called "windowed registers"

• Mar 27, 2018 Last week report

  Assembly, code generation and debugging fun!

• Mar 20, 2018 Mirage on embedded devices: where are we?

  As an intern at the OCamlLab, my project is to port MirageOS on ESP32 boards. This is my first post to explain a bit what is the subject, give some links, hints on what is to be done.