Ah, thanks for the correction. The controversy around unikernels makes a lot more sense now.