This patch allows vkernels to compile without the DDB kernel options. Cheers, Nuno
Attachment: vkernel-ddb.patch Description: Binary data