mirage/mirage-platform — pull request #94 by avsm (2014-07-06 17:51:15+00:00)
Title: Updates to the external MiniOS

Updates the "Upgrade to new (separate) kernel and libm, and drop dietlibc" branch in #93 to:

* only support OCaml 4.01.0
* add `PKG_CONFIG_PATH` for current opam switch to makefile.