2 ipc ALL; # All system ipc targets allowed
3 system BASIC; # Only basic kernel calls allowed
4 vm MAPCACHEPAGE SETCACHEPAGE CLEARCACHE;
5 io NONE; # No I/O range allowed
6 irq NONE; # No IRQ allowed
7 sigmgr rs; # Signal manager is RS
8 scheduler sched; # Scheduler is sched
9 priority 5; # priority queue 5
10 quantum 500; # default server quantum