mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-22 15:22:39 +00:00
various fixes
This commit is contained in:
1 parent
65e64ea4b1
commit
ffa9860a86
10 files changed
+177
-39
No files matched your search
@@ -5,6 +5,7 @@
|
||||
#include <grub/types.h>
|
||||
#include <grub/misc.h>
|
||||
#include <grub/mm.h>
|
||||
#include <grub/time.h>
|
||||
#include <grub/machine/kernel.h>
|
||||
#include <grub/machine/memory.h>
|
||||
#include <grub/cpu/kernel.h>
|
||||
|
||||
Reference in new issue
Block a user