Yes, every time Dusk boots, it boots from a kernel ranging from 2.5 to 4 kilobytes in size, depending on the CPU. The rest is all compiled (very quickly) from source on the fly.