I saw this thread in the l4-hackers mailing list:

Could you please answer the same questions regarding drivers in genode.

Is it the same way as in L4Re?