How to write my manual code ?

At this time, if you try to write the configuration code by yourself, you have to read the configuration directives of POK. The fact is that you need to write the configuration code by yourself and make your own build system that supports POK (the automatic configuration process output code and automatically create the build system for you).

In that case, the best is to start from a working example. Try to take the generated code from the examples directory. It could be efficient since they are many examples that use various services of the runtime.

Finally, the POK team plans to release a tool that would help the developper in the configuration of the kernel and partitions. Such a tool would be graphic (like the well-known make menuconfig of the Linux kernel) and would propose to configure kernel and partitions.