Hi Ted,

libsel4cspace was designed (along with the ut_manager in the sos application) to provide an abstraction for resource management that was somewhat comprehensible to students, without hiding all the details of what is going on. The functionality of these is subsumed by most of our other allocators, of which the only one actually released is libsel4allocman (https://github.com/seL4/libsel4allocman). libsel4cspace was not intended to be a course-specific library but it has ended up that way.

Based on your previous e-mails to this list you have managed to acquire the code for the aos project, so you are free to use the version of the libsel4cspace library contained in there.

Adrian

On 27/03/15 08:51, Ted Cooper wrote:

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?
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.