L4: build with kernel, simulate it