mirage/mirage-xen-minios — pull request #6 by talex5 (2014-09-26 15:20:20+00:00)
Title: Upgrade to libmini-os 0.4

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).