kernel-fxtec-pro1x/drivers/rpmsg
..
Kconfig
Makefile
virtio_rpmsg_bus.c