It's not used currently and cannot be used safely currently.
+2013-12-17 Vladimir Serbinenko <phcoder@gmail.com>
+
+ Remove grub_bios_interrupt on coreboot.
+
+ It's not used currently and cannot be used safely currently.
+
2013-12-16 Vladimir Serbinenko <phcoder@gmail.com>
Update exclude.pot and mark few strings for translation.
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
* only needed for BIOS gates).
*/
#include "../realmode.S"
-
-#include "../int.S"