[jkrshnmenon]

I believe it ships with its own kernel

> The TinyKVM guest has a tiny kernel which cannot be modified.