We have several design issues in our kernel. These include: - Getting the BAL and kernel to share headers - Messaging API for the kernel Finding solutions to these is pretty important if we want to continue with DarkSide.