MirageOS on OCaml 5! (opens in new tab)

OCaml 5 brought significant changes to fundamental parts of the language – notably concurrency using effects and multithreaded parallelism. This has caused some features and tools compatible with OCaml 4.14 to be incompatible with the new update, and several projects at Tarides aim to restore compatibility where that is the case. In today’s post, we will focus on the efforts toward creating a The main benefit of making MirageOS compatible with OCaml 5 is to make it possible to explore how to ...