Age | Commit message (Expand) | Author |
---|---|---|
2011-11-20 | Just destroy port rights in default_pager | Sergio Lopez |
2011-11-20 | Fix defpager into using the correct control port | Maksym Planeta |
2011-08-20 | fix common misspellings | Jonathan Neuschäfer |
2011-04-03 | Remove `serverboot'; fix "make dist" in `mach-defpager'. | Ludovic Courtès |