Has anyone ported or known of a library using HAL for RF Link/Remote control?

[PFar?]

I see a lot of reference to VirtualWire or RadioHead library for using RF433Mhz ISM band links. But I haven't find a library for KEIL ARM MDK using CubeMX or HAL drivers.