For each supported processor family, Sun Embedded Workshop 4.0 comes with the implementation of at least one target platform and provides a complete set of well defined interfaces allowing you to port the ChorusOS operating system to other target boards. The Boot Kernel Interface (BKI) and Device Driver Interface (DDI) available in the binary release of ChorusOS allows you to customize the boot method and to add new drivers.