kernel: do not drop RAM caps
[barrelfish] / tools / mackerel /
2014-11-18 Wang NanMake hake and mackerel compile with ghc 7.6.
2014-08-20 Stefan KaestleCleanup
2014-02-28 Wang NanSupport for GHC 7.6.X in Mackerel and Hake.
2013-03-10 MothyWork around octopus dependency bug by disabling implici...
2012-07-31 Kornilios Kourtis*.hs: update imports to be compatible with ghc 7.4
2012-03-29 MothyAmalgamated EHCI definitions into one file, and added...
2012-03-22 MothyOHCI USB controller mackerel definition.
2011-12-20 MothyFixed missing format specifier which failed builds...
2011-12-12 MothyMackerel now allows "noaddr" registers, which can model...
2011-12-09 MothyFixed long-standing 64-bit constants bug, by dropping...
2011-12-07 MothyFixed weird crashing bug.
2011-11-09 MothyFixed several serious Mackerel bugs (including access...
2011-11-01 MothyUpdated bugs file to reflect changes.
2011-10-25 MothyFixed nasty looping bug in user-defined register space...
2011-10-25 MothyCheck for using constants with an undefined width speci...
2011-10-24 MothyRemoved obsolete constants table.
2011-10-24 MothyAdded syntax (at least) for width specifier for constants.
2011-10-23 MothyFixed several typos (thanks to Raphael Fuchs)
2011-09-07 MothyFixed mixed up Parsec's 2 and 3.
2011-09-07 MothyCleanup: removed redundant cmos.dev (lpc_rtc.dev has...
2011-09-06 MothyNow compiling all X86 code; renamed identifiers for...
2011-09-02 MothyRenamed many devices which were inconsistent with their...
2011-08-12 MothyFixed broken merge
2011-08-12 Mothymerge
2011-08-12 MothyAdded TypeName (oops)
2011-08-12 MothyMerge
2011-08-12 MothyCheckpoint: removing __DP functionality to make imports...
2011-08-11 MothyMerge.
2011-08-11 MothyImports almost working for Mackerel; with some new...
2011-08-05 Andrew Baumannmackerel: fix minor bug that prevented changing the...
2011-07-18 MothyCleaned up the compiler driver considerably; better...
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.