Hi,
We want to perform static analysis of the linux kernel and for that we want
to use CIL to get kernel data structures. Could someone please help me to
compile linux kernel for ARM platform using CIL (C Intermediate Language).
I compiled MyModule as a new feature to the CIL and want to use this while
compiling linux kernel with CIL.
I did the following modification:
change Makefile to use cilly
[REAL_CC = cilly --envmachine --gcc=$(CROSS_COMPILE)gcc]
and add the below options to the KBUILD_CFLAGS as well
KBUILD_CFLAGS += --domymodule
now I am getting below error:
fixdep: error opening depfile: kernel/.bounds.s.d: No such file or directory
make[1]: *** [kernel/bounds.s] Error 2
make: *** [prepare0] Error 2
I am not sure what I am missing here, I am quite new to CIL and linux
kernel. It would help me tremendously if someone could point me at a
specific file that I should modify to solve this issue.
Thanks,
-Hitesh.
------------------------------------------------------------------------------
Want fast and easy access to all the code in your enterprise? Index and
search up to 200,000 lines of code with a free copy of Black Duck
Code Sight - the same software that powers the world's largest code
search on Ohloh, the Black Duck Open Hub! Try it now.
http://p.sf.net/sfu/bds
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
