Remove grub_bios_interrupt on coreboot.

It's not used currently and cannot be used safely currently.
This commit is contained in:
Vladimir Serbinenko 2013-12-17 12:54:11 +01:00
parent a82010503e
commit 60d1dd3d72
3 changed files with 6 additions and 3 deletions

View file

@ -103,7 +103,6 @@ endif
if COND_i386_coreboot
KERNEL_HEADER_FILES += $(top_srcdir)/include/grub/i386/tsc.h
KERNEL_HEADER_FILES += $(top_srcdir)/include/grub/i386/coreboot/lbio.h
KERNEL_HEADER_FILES += $(top_builddir)/include/grub/i386/pc/int.h
KERNEL_HEADER_FILES += $(top_srcdir)/include/grub/video.h
KERNEL_HEADER_FILES += $(top_srcdir)/include/grub/video_fb.h
KERNEL_HEADER_FILES += $(top_srcdir)/include/grub/gfxterm.h