Vladimir 'phcoder' Serbinenko d745dda77e Fix USB devices not being detected when requested ... due to delayed attach.		2013-03-19 20:35:21 +01:00
..
grub	Fix USB devices not being detected when requested	2013-03-19 20:35:21 +01:00
multiboot.h	* grub-core/loader/i386/multiboot_mbi.c (grub_fill_multiboot_mmap):	2010-09-21 02:06:14 +02:00
multiboot2.h	* grub-core/loader/i386/multiboot_mbi.c (grub_fill_multiboot_mmap):	2010-09-21 02:06:14 +02:00