minix3/lib/libsys/sched_start.pico