Hi,

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

Alexander Maringer 
Student at the university of Passau


------------------------------------------------------------------------------
Download Intel® Parallel Studio Eval
Try the new software tools for yourself. Speed compiling, find bugs
proactively, and fine-tune applications for parallel performance.
See why Intel Parallel Studio got high marks during beta.
http://p.sf.net/sfu/intel-sw-dev
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to