grub/grub-core/lib/dummy
2017-05-08 20:53:28 +02:00
..
datetime.c Rename uboot/datetime to dummy/datetime. 2017-05-08 19:40:14 +02:00
halt.c Rename uboot/halt.c to dummy/halt.c. 2017-05-08 19:33:56 +02:00
reboot.c arm-coreboot: Start new port. 2017-05-08 20:53:28 +02:00