Bananymous b87dae7e7c Kernel: Device dev and rdev number is done more properly ... Also hd* partitions are now 1 indexed instead of 0		2023-04-03 11:43:16 +03:00
..
grub.cfg	Kernel: Device dev and rdev number is done more properly	2023-04-03 11:43:16 +03:00