I'm adapting the aos-2014 exercises from http://www.cse.unsw.edu.au/~cs9242/14/project/index.shtml so I can run them under IA32 qemu.  Milestone 0's sos project depends on stuff from libsel4space, e.g. cspace_root_task_bootstrap().  From a cursory search, it seems like this library isn't on the seL4 github account.  Is this because its functionality has been rolled into one of the other libsel4*, or because it's a course-specific library not intended to see the light of day?