VMI Configuration for new kernel version

[T0m-Ph]

Hi!

I am trying to configure VMI on ubuntu 16.04 32bits. The kernel version is 4.15.0-45-generic.

I followed the steps detailed here: https://github.com/decaf-project/DECAF/wiki/Startup.

On the third step, when compiling procinfo.c, i encounter the following error:
'struct thread_info' has no member named 'task'

I have read that this is because the procinfo.c file is designed for older kernel versions. Is there any new procinfo.c file that would support newer kernel versions (such as 4.15)?

Thanks a lot!