3 ms·

Unfortunately I got frustrated with the presentation and gave up before figuring out the point. Seems to be a something about an ocaml kernel with containers o

• masklinn 11y ago
  It's about unikernels, where a small kernel, a single application and a limited set of service (ideally just what the application itself needs) are compiled to a single consolidated binary running on a barebones virtualisation host (e.g. Xen). The most well-known one does seem to be MirageOS[0], an OCaml unikernel. See http://queue.acm.org/detail.cfm?id=2566628 http://queue.acm.org/detail.cfm?id=2566628 for a paper on Mirage, though the broad strokes would be applicable to any unikernel (and a list thereof is provided in Table 2). If you followed Thomas Leonard's entries on porting 0install to OCaml, he subsequently posted a few entries on playing with mirage[1] [0] https://mirage.io https://mirage.io [1] http://roscidus.com/blog/blog/2014/07/28/my-first-unikernel/ http://roscidus.com/blog/blog/2014/07/28/my-first-unikernel/ with discussions[2][3] [2] https://news.ycombinator.com/item?id=8109485 https://news.ycombinator.com/item?id=8109485 [3] https://www.reddit.com/r/programming/comments/2c1soi/my_first_unikernel_created_in_ocaml_and_mirage/ https://www.reddit.com/r/programming/comments/2c1soi/my_firs...