L4 Microkernel to support quad core Cortex A9 cpusl4dev.org1 point·Aegean··0 commentsOpen articleSaveView on HN