loader with kernel