summaryrefslogtreecommitdiff
path: root/mach-defpager/default_pager.c
AgeCommit message (Expand)Author
2012-03-26Remove warnings during compilation.Maksym Planeta
2011-11-20Just destroy port rights in default_pagerSergio Lopez
2011-11-20Fix defpager into using the correct control portMaksym Planeta
2011-08-20fix common misspellingsJonathan Neuschäfer
2011-04-03Remove `serverboot'; fix "make dist" in `mach-defpager'.Ludovic Courtès