#include <kernel-image>
vmcp ?