v0.9

• Provide stats on memory pages used (minios_heap_pages_total and minios_heap_pages_used).
• Block when writing to a full console. Before, we simply discarded the remaining output when the console ring was full. Now, we sleep for 10ms and retry. This avoids losing the final error or exception when a busy domain crashes.

v0.8

• Verbose boot messages are now optional, and off by default in the opam build.
• The banner message is now configurable.
• The banner is also now displayed on ARM, not just x86.
• The build no longer uses -Werror (except for Travis builds), so it won't break when used with newer compilers.

v0.7

• First release from the separate Mini-OS repository
• x86: Don't print a stack trace on exit
• printf now supports %z
• Don't use -fno-tree-loop-distribute-patterns if the compiler doesn't support it (@hannesm)
• Remove Cannot handle page request order %d! warning - just return NULL on OOM
• Add opam file for easier installation