10 ms·Akaros - an open source operating system for manycore architectures3 points by aespinoza 15y ago