Hi,
I would recommend checking OpenWr's ar71xx port[1] which supports RB433. [1]: https://dev.openwrt.org/browser/trunk/target/linux/ar71xx
Thanks for the information. A few weeks ago I downloaded the most recent Kamikaze release (8.09.2), and I didn't get the option of KGDB for ar71xx, and so I didn't use it. But now that I checked out the trunk, that you point out, I was able to built OpenWRT with the KGDB support! That's cool!
Best, Irek -- Ireneusz (Irek) Szczesniak http://www.irkos.org