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