diff options
Diffstat (limited to 'stubdom/grub/config.h')
-rw-r--r-- | stubdom/grub/config.h | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/stubdom/grub/config.h b/stubdom/grub/config.h new file mode 100644 index 0000000000..dcb2e7a15c --- /dev/null +++ b/stubdom/grub/config.h @@ -0,0 +1,11 @@ +#include <stdio.h> +#undef putchar +#include <ctype.h> +#include <string.h> +#define debug _debug +#define grub_halt(a) do_exit() +#define printf grub_printf +void kexec(void *kernel, long kernel_size, void *module, long module_size, char *cmdline); +struct fbfront_dev *fb_open(void *fb, int width, int height, int depth); +void fb_close(void); +void pv_boot (void); |