Koen Kooi 8b3227c90d bootctl: fix help text ... It currently says 'time settings', change that to 'boot settings'.		2013-03-29 15:47:43 +01:00
..
boot-efi.c	bootctl: print secure boot flags	2013-03-10 22:48:27 +01:00
boot-loader.c	use streq instead of strcmp	2013-02-13 18:14:20 +01:00
boot-loader.h	bootctl: add boot loader and firmware interface tool	2013-02-11 19:35:52 +01:00
boot.h	bootctl: print secure boot flags	2013-03-10 22:48:27 +01:00
bootctl.c	bootctl: fix help text	2013-03-29 15:47:43 +01:00
Makefile	boot: add stub Makefile symlink	2013-02-13 02:19:03 +01:00