I did. I was about to rant that it's the <popular_os> that sucks, and cost on se...

		snvzz on Jan 18, 2021 \| parent \| context \| favorite \| on: Context switching costs more than we give it credi... I did. I was about to rant that it's the <popular_os> that sucks, and cost on seL4 is an order of magnitude lower.