Thanks, krakensden, for the clarifications. I think reading a few books on operating systems and on the Linux kernel would be a good start.