Sure, back in those days the Linux kernel was a fraction of the size it is today. Linux has become bloatware, and that's a fact. Nucleus can be scaled down to 13 kb, and still do its job. http://www.mentor.com/embedded-software/nucleus/kernel