Hello,
Thanks for the hint.
I also searched
NetBSD and
FreeBSD mailing lists for "rikomagic" and "rk3066", but unfortunately no results.
I think this is somehow explainable by the fact that Andoid (which runs Linux kernel) is the stock firmware for these MK802* miniPCs. Once the manufacturer releases the Linux kernel source modified for a specific device, the Linux community(read: hackers
) has something to start from and build on.
If I'll spot some *BSD project targeted at MK802*, I'll post it here.
Regards.