Trying to cilly the linux kernel 184.108.40.206, cab2cil hangs parsing vdso32-setup.mil.
Note: removed KVM module and modified include/linux/kernel.h line 678.
Sorry, I don't have time to reproduce your setup. Please re-open the bug with a minimal test case if this is important for you.
Log in to post a comment.