Age | Commit message (Expand) | Author |
---|---|---|
2016-04-04 | Use uint32_t instead of unsigned32_t. | Flavio Cruz |
2013-01-28 | Add initial code for disabling PV pagetables | Samuel Thibault |
2011-12-17 | Fix kern/kalloc.h includes | Richard Braun |
2011-08-30 | Fix copyright assignment | Samuel Thibault |
2009-12-16 | Add Xen support | Samuel Thibault |