Hi, I want to use UDOO as a DVB video disk recorder running linux. Unfortunately the driver (pctv452e) needed for my USB DVB Technotrend S2-3600 is not included in the kernel source tree. So I thought it should be no problem to add it manually by placing the source file (I downloaded it from a raspberry pie source tree) in the corresponding directory and modifying Kconfig and Makefile correspondingly.... but I did not succeed! After calling make menuconfig I am still not getting the option to choose the pctv452e driver to be compiled as a module. Is there any that chance that /drivers/media/dvb/dvb-usb/pctv452e.c could by added to the repository? Greetinx, Steve