PiegOS: kernel/kernel.bin cp kernel/kernel.bin ./PiegOS kernel/kernel.bin: cd kernel/ && make clean: cd kernel && make clean rm PiegOS