libvc4mem is a memory and cache manipulating library for RPi2 and RPi3.
You need to run Idein/linux:rpi-4.9.y-vc4mem kernel to use this library.
To cross-compile the kernel, please use my Docker image and script: Terminus-IMRC/cross-rpi-kernel.
$ autoreconf -i -m
$ ./configure
$ make
$ sudo make install