genode/repos/pc/lib/mk
Sebastian Sumpf dd0140f82e pc: use linux 6.6.47
Issue #5264
2024-08-27 15:33:32 +02:00
..
spec Move 'wifi' driver to dde_linux repository 2023-05-30 12:03:32 +02:00
pc_linux_generated.inc pc: use linux 6.6.47 2024-08-27 15:33:32 +02:00
pc_lx_emul.mk pc: consoldiate LX emul of current drivers 2022-05-25 12:19:33 +02:00
pc_wifi.inc dde_linux: generate proper KBUILD_MODNAME 2024-06-20 12:54:30 +02:00