TODO (909B)
1 2 * area_destroy() 3 * perm checking (area, sem, etc) 4 * right_*() 5 * stacks should be area_create()'d 6 * thread_kill() / teardown 7 * paging? copy-on-write? 8 * console 9 * if a non-owner sleeps on a readport it won't be awakened 10 * ports; multiple readers? 11 12 os_sleep() syscall -- timed sleep? or maybe have a sleeper driver? 13 port_option() -- allow for OPT_NOWAIT 14 resource reclaimation when a thread dies 15 kernel memory pooling for getpages and kgetpages should actually exist 16 overhaul aspaces to use spans and pspans 17 modify system timer for faster preemption 18 perms handoff by namer to other threads/tasks 19 port groups 20 21 standard support objects: 22 namer.bin 23 keyboard.bin 24 console.bin 25 idler.bin 26 27 28 libc todos: 29 malloc/free, using os_brk() 30 31 32 struct msg_hdr { 33 int from; 34 int to; 35 int size; 36 char *buf; 37 } 38 39 port_create(int restrict); 40 port_delete(int port); 41 port_send(struct msg_hdr *m); 42 port_recv(struct msg_hdr *m);