From: Alexander Maringer <maringer@ma...> - 2010-04-03 20:33:57
I'm trying to cil the linux kernel or better the device driver of kernel
version 2.6.30rc4, 2.6.30 and 2.6.31 without success.
I mostly got errors in the asm config header files. Has anybody of you
successfully cilled one of the above mentioned kernels?
Or which is the last kernel version which can be processed through cil?
Thanks in advance
Student at the university of Passau
Get latest updates about Open Source Projects, Conferences and News.