3 ms·I’m pretty sure the BSD port (AOS) ran on RT bare metal rather than on the microkernel.by pinewurst 5y agoI’m pretty sure the BSD port (AOS) ran on RT bare metal rather than on the microkernel.