> Tooling/Perf/etc is not needed when running (do you really want to debug in production) but tooling can be used in the process of development. I don’t follow

> Tooling/Perf/etc is not needed when running (do you really want to debug in production) but tooling can be used in the process of development. I don’t follow. Are you saying that development should build normal user space binaries, and you should only build the unikernel for production? You will inevitably run into a behavior difference between the unikernel and user space outputs. Even if you’re not debugging in production (shudder) you need to be able to debug the unikernel.