DRIVER_genericDeinit
Ich denke, dass eine DRIVER_genericDeinit()
sinnvoll wäre, da man ansonsten hal_deinit()
in DRIVER_deinit()
aufrufen muss (man muss ja auch nicht hal_init()
in DRIVER_init()
aufrufen). Außerdem führt das zu Implementierungsfehlern, wenn man nicht weiß, dass hal_init()
/hal_deinit()
nur aufgerufen werden darf, wenn CONFIG_DRIVER_THREAD_SAVE
gesetzt ist.