Services activation

You can define which functionnalities you want in the kernel by defining some maccros. Depending on which maccro you define, it will add services and functionnalities in your kernel. It was made to make a very tight kernel and ease verification/certification efforts.

When you use code generation functionnalities, these declarations are automatically created in the deployment.h file.

Copyright 2009 POK Team