Upgrade to libmini-os 0.4

mirage / mirage-xen-minios

Install external libraries for the Mirage Xen backend, notably MiniOS and OpenLibm

7 stars 7 forks source link

Upgrade to libmini-os 0.4 #6

Closed talex5 closed 10 years ago

talex5 commented 10 years ago

This fixes the timer problem and also includes Dave's (experimental) demand mapping code (since it used to BUG in this case, it shouldn't cause any regressions).

djs55 commented 10 years ago

I'm not sure if "experimental" properly conveys how I feel about that code :-)