Support kernel adapters both inside and outside of the kernel_adapters namespace
eyalroz opened this issue · comments
The kernel source generation scripts currently only work if the kernel is defined within the kernel_adapters namespace; let's fix that, so we can shorten our adapter boilerplate template.