0.2.0

0.2.0 #

You can find the tag and associated downloads on GitHub.

Release notes #

  • Move to Microkit 1.4.0.
    • Previously a development version of Microkit was used, now we use an official release for everything.
  • Update to sDDF 0.5.0.
  • Update to libvmm (15b9ee6).
  • Transition to a modular ‘Makefile snippets’ build system structure to simplify the composition of components and libraries.
  • Add new ‘web server’ example system.
    • It is currently being used to serve beta.sel4.systems, you can find more information here.
  • Use the ’libmicrokitco’ co-routine library for handling synchronous interfaces with asynchronous events (for example MicroPython).
  • Refactor MicroPython support for LionsOS so that it is usable outside of just the reference example system (Kitty).
  • Add asynchronous file system module to MicroPython support.
  • Various bug fixes to improve stability of the Network File System (NFS) client.
  • Fixes to the file-system protocol.
  • Fixes in the MicroPython network layer that interfaces with the sDDF networking sub-system.
  • Minor cleanup and fixes to the Kitty example.
  • Large artefacts such as Linux kernel images that were part of examples were removed from the repository as well as the commit history. This means that the commit history has been rewritten. This was necessary in order to have the repository size not be in the dozens/hundreds of megabytes.
    • Examples now fetch the images as part of the build system.