ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
b32a3cd4d9
genode/repos/dde_linux/src/include/lx_kit
History
Stefan Kalkowski b32a3cd4d9 dde_linux: USB-client driver for HID version 4.16
2018-08-30 09:24:45 +02:00
..
internal lx_kit: adjust to 4.16.3 2018-08-08 13:33:37 +02:00
addr_to_page_mapping.h lx_kit: adjust to 4.16.3 2018-08-08 13:33:37 +02:00
backend_alloc.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
env.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
irq.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
malloc.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
mapped_io_mem_range.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
pci_dev_registry.h lx_kit: adjust to 4.16.3 2018-08-08 13:33:37 +02:00
pci.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
scheduler.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
timer.h usb rpi: get rid of local hardware timer 2017-08-23 14:08:37 +02:00
types.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
usb.h dde_linux: USB-client driver for HID version 4.16 2018-08-30 09:24:45 +02:00
work.h lx_kit: adjust to 4.16.3 2018-08-08 13:33:37 +02:00