2 ms·A kernel designed to run only one application in a virtualized environment1 points by miguel_cordeiro 4y ago