__s                48 sys/include/kernel.h #define PROFILE		__s(CONFIG_PROFILE)
__s                49 sys/include/kernel.h #define MACHINE		__s(CONFIG_MACHINE)
__s                50 sys/include/kernel.h #define VERSION		__s(MAJORVERSION) "." __s(MINORVERSION) "." __s(PATCHLEVEL)