3 ms·
not much familiar with xinu, but this course mainly uses seL4 which is a completely different breed than pintos, xv6 etc.
by ramgorur 11y ago
not much familiar with xinu, but this course mainly uses seL4 which is a completely different breed than pintos, xv6 etc.