Here is some information for you, or anyone else, to look into then.

https://os.mbed.com/docs/mbed-os/v5.11/apis/drivers.html

https://developer.apple.com/library/archive/documentation/De...

https://genode.org/documentation/genode-foundations-18-05.pd...

https://www.haiku-os.org/docs/api/

https://source.android.com/devices/architecture

https://source.android.com/devices/architecture/hidl-cpp/ind...

https://www.amazon.com/Symbian-OS-Internals-Real-time-Progra...