Does it make any difference if I build the linux kernel with the posix skin inside or as a module. Currently I build all Realtime-Options in the kernel. So I load no modules and with lsmod there are no xeno* modules? Is it correct?