Thanks for the effort, guys. This makes me think, shouldn't the driver layer be generic now. All the driver does is writing correct data at correct address when needed, there is no need for OS support except triggering driver when to do that.

A true HAL, any OS can run on that HAL.