Automatic and manual configuration

The automatic code generation finely configure the kernel and enable only required functionnalities. If is especially efficient for embedded systems when you have to avoid useless features and reduce the memory footprint. In addition, it avoids all potential errors introduced by the code produced by human developers. The automatic configuration process is detailed in chapter 4.

On the other hand, you can also configure the kernel and the partitions by yourself. In this case, the configuration will be very difficult since POK has many configuration directives. This configuration process is detailed in the next section.