器使用K64启动。K64可以运行32位应用，但不会运行32位的内核模块，所以这些内核模块需要移植到K64才能被加载。
I/O Kit.I/O Kit 是一个设备驱动框架，用基于Embedded C++的C++子集编写。借助它的面向对象设计，框架提供每种设备驱动需要的常见特性，以使驱动程序可以用更少的时间和代码完成。I/O Kit 具有多线程设计，对称多处理安全，支持热拔插设备和自动动态配置设备等特性。很多设备驱动可以编写运行于用户态，进一步提升了系统的稳定性。如果用户态的驱动崩溃