I heard in the Cal Linux Users Group meeting last night that you were considering using FreeBSD for your operating systems course. Is there a reason why you're not choosing Linux instead? Although FreeBSD has some advantages, I really think Linux is great -- it seems well organized and adding new device drivers is simple with modules.