On Wednesday, September 28, 2011 18:44:29 you wrote:
> Thanks for the patch, I've applied it.

Thank you.

(Just some background: the patch is aimed for CIL-lifying Linux device 
drivers, which usually contain statically initialized structures full of 
pointers to various driver functions.  We wanted to preserve direct calls 
to these functions in order to run the generated code through different 
static verification tools.)

-- 
Pavel Shved
ISPRAS
(Institute for System Programming
 of Russian Academy of Sciences)
Operating Systems section

email:   sh...@ispras.ru

------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure contains a
definitive record of customers, application performance, security
threats, fraudulent activity and more. Splunk takes this data and makes
sense of it. Business sense. IT sense. Common sense.
http://p.sf.net/sfu/splunk-d2dcopy1
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users

Reply via email to