Kernel also compiles under Windows