Maximilian Luz dfc58b5353 Update Debian kernel to v6.5.5		2023-10-03 02:44:27 +02:00
..
arch	Update Arch kernel to v6.5.5	2023-10-03 02:43:27 +02:00
debian	Update Debian kernel to v6.5.5	2023-10-03 02:44:27 +02:00
fedora	pkg: fedora: Use the proper path to set the default kernel	2023-09-06 17:23:53 +02:00
keys	Update the GPG and secureboot keys	2020-01-20 22:22:32 +01:00