Closed hannesm closed 2 years ago
These files were added in #50 (v0.4.3) when we planned to use this path to compile MirageOS. Time has changed, and there is a different plan now, which makes these superfluous.
In the light of #90 this here is a self-contained small PR.
since #92 includes this commit, and it simplifies the build system - and tests are fine, I'll merge it.
These files were added in #50 (v0.4.3) when we planned to use this path to compile MirageOS. Time has changed, and there is a different plan now, which makes these superfluous.
In the light of #90 this here is a self-contained small PR.