bravo: Implement integrated kernel building