Device Driver Terminology

Björn Döbel doebel at os.inf.tu-dresden.de
Mon Jan 19 20:18:48 CET 2015


Hi Jason,

> Hi maybe this is an overly pedantic point but is there a specific term
> for device drivers in L4Re?

We just call them device drivers.

Bjoern



More information about the l4-hackers mailing list