Development cycle

POK has a dedicated development cycle which avoid the compilation of the kernel. The development process automatically compiles the kernel, the partitions with the application code and assemble them into a bootable binary (you can see the illustration of this development process in figure 7.2.

Due to the tedious configuration efforts of each layer, a tool that automatically configures the kernel and the partitions from AADL descriptions is available (the Ocarina code generator). You can also configure each part by yourself by writing C configuration code.