カーネルの配置

最新情報については、『Writing Device Drivers』の「SunOS Kernel and Device Tree」を参照してください。