Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

x86_64: Fix boot code error reporting

Browse Source 
Writing too quickly to a UART risks loosing bytes when its internal
FIFO fills up. Also lines should be terminated with "\r\n" for
compatibility with 1975 hardware.

Signed-off-by: Mathieu Mirmont <mat@neutrality.ch>
This commit is contained in:
Mathieu Mirmont
2024-10-25 15:42:38 +02:00
committed by Indan Zupancic
parent 233c984e3b
commit c0749e6227
1 changed files with 11 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
src/arch/x86/64/head.S
View File

@@ -33,8 +33,13 @@
.code32 .code32
BEGIN_FUNC(print_string) BEGIN_FUNC(print_string)
movw $0x3f8, %dx
1: 1:
movw $0x3f8+5, %dx
2:
inb (%dx), %al
test $0x20, %al
jz 2b
sub $5, %dx
movb (%ebx), %al movb (%ebx), %al
outb %al, %dx outb %al, %dx
incl %ebx incl %ebx
@@ -63,7 +68,7 @@ BEGIN_FUNC(huge_page_check)
call hang call hang
huge_page_error_string: huge_page_error_string:
.string "Huge page not supported by the processor" .string "Huge page not supported by the processor\r\n"
.set huge_page_error_size, . - huge_page_error_string .set huge_page_error_size, . - huge_page_error_string
END_FUNC(huge_page_check) END_FUNC(huge_page_check)
#endif /* CONFIG_HUGE_PAGE */ #endif /* CONFIG_HUGE_PAGE */
@@ -137,7 +142,7 @@ BEGIN_FUNC(pcid_check)
call hang call hang
pcid_error_string: pcid_error_string:
.string "PCIDs not supported by the processor" .string "PCIDs not supported by the processor\r\n"
.set pcid_error_size, . - pcid_error_string .set pcid_error_size, . - pcid_error_string
END_FUNC(pcid_check) END_FUNC(pcid_check)
@@ -155,7 +160,7 @@ BEGIN_FUNC(invpcid_check)
call hang call hang
invpcid_error_string: invpcid_error_string:
.string "INVPCID instruction not supported by the processor" .string "INVPCID instruction not supported by the processor\r\n"
.set invpcid_error_size, . - invpcid_error_string .set invpcid_error_size, . - invpcid_error_string
END_FUNC(invpcid_check) END_FUNC(invpcid_check)
#endif /* CONFIG_SUPPORT_PCID */ #endif /* CONFIG_SUPPORT_PCID */
@@ -174,7 +179,7 @@ BEGIN_FUNC(syscall_check)
call hang call hang
syscall_error_string: syscall_error_string:
.string "SYSCALL/SYSRET instruction not supported by the processor" .string "SYSCALL/SYSRET instruction not supported by the processor\r\n"
.set syscall_error_size, . - syscall_error_string .set syscall_error_size, . - syscall_error_string
END_FUNC(syscall_check) END_FUNC(syscall_check)
@@ -197,7 +202,7 @@ BEGIN_FUNC(fsgsbase_enable)
call hang call hang
fsgsbase_error_string: fsgsbase_error_string:
.string "fsgsbase instructions not supported by the processor" .string "fsgsbase instructions not supported by the processor\r\n"
.set fsgsbase_error_size, . - fsgsbase_error_string .set fsgsbase_error_size, . - fsgsbase_error_string
END_FUNC(fsgsbase_enable) END_FUNC(fsgsbase_enable)
#endif /* CONFIG_FSGSBASE_INST */ #endif /* CONFIG_FSGSBASE_INST */