There seems to be basic support for the CC1312R-launchpad (which I think is the old name, TI does not make clear why it goes by multiple names), but apparently no radio support? I've got the shell working, but ifconfig doesn't return anything and there's no radio running in ps. Upon inspection, it looks like there was an old issue opened to port this board, but it was closed from a lack of interest.

I'd like to help/lead the development effort for the CC1312R in general. So far, what I've seen is that there is basic CPU support, but almost no peripheral support past the LEDs that come on the LAUNCHXL-CC1312R1.

My basic question: since there's a lot of shared code for this chip, what needs to be done to get basic radio support? Do I need to do a full port and port the radio drivers from the TI SDK, or is there already a jumping off point for the simplelink radio?