vmlinux.py is a python script which can load vmlinux image in both IDA Pro and radare2.
vmlinux is a decompressed kernel image, personally I prefer to extract it from boot.img by binwalk. However, imgtool is another good choice.
./imgtool pixel_boot.img extract
lz4 -d extracted/kernel ./pixel_vmlinux
vmlinux.py -> C:\Program Files\IDA x.x\loaders\
r2 -i ./vmlinux.py ./test/pixel_vmlinux
ln -s /path/to/droidimg ~/.binaryninja/plugins/
python ./vmlinux.py ./test/pixel_vmlinux
In some cases, kernel image with KASLR enabled will populate relocation entries upon boot and leave them as 0 in image. fix_kaslr_4_4.c and fix_kaslr_samsung.c can fix these images by re-populating relocation entries with their original addresses.