[ROM] ROCK 5B Android 12.1 rkr10 GoogleTV

just wondering if this is working on debian? i was wondering if i could just purchase non radxa realtek rtl8852 module, just to save up some delivery cost.