Using Integrated Kernel Building