> If the latter, you'd provide a freebsd-kernel and a freebsd-debian-compat > package, which a debian user could install in place of a > linux-kernel. [And, possible the compat package would depend on some > collection of packages -- I don't know what the linux compat library > specifically requires be installed on the system]. Perhaps you'd even > make some effort to allow the debian user to choose between a freebsd > kernel and a linux kernel at boot time.
Or maybe SCO will free their kernel and we can run Debian under iBCS.

