thesis_green_lib Bachelor honours thesis part 02 - a green thread library UNSW A cooperative green thread library running on seL4. Designed to provide light, efficient multitasking concurrency.