Linux kernel for the SDRDC