Sam Demeulemeester c56fbe3257 Change serial console baud rate parameters to match conventional linux kernel - ie: console=ttyS0,115200 for 115200 bps (#64)		2022-05-10 23:59:20 +02:00
..
badram.c	Fix badram error display (issue #7)	2021-07-18 19:26:23 +01:00
badram.h	Exclude copyright notices from Doxygen file descriptions.	2022-02-19 19:56:55 +00:00
config.c	Change serial console baud rate parameters to match conventional linux kernel - ie: console=ttyS0,115200 for 115200 bps (#64)	2022-05-10 23:59:20 +02:00
config.h	Rework Line #7 left block. Add preliminary CPUID function to detect CPU Topology	2022-04-16 13:31:28 +02:00
display.c	Fix display of Paging Mode (PAE/LM/*NONE*) on 32bit binary	2022-04-16 13:31:28 +02:00
display.h	Fix display of Paging Mode (PAE/LM/*NONE*) on 32bit binary	2022-04-16 13:31:28 +02:00
error.c	Rework the right block of lines 8/9	2022-04-16 13:31:28 +02:00
error.h	Exclude copyright notices from Doxygen file descriptions.	2022-02-19 19:56:55 +00:00
interrupt.c	Work around the halt/wakeup race in barrier_halt_wait() (issue #13)	2022-03-08 23:25:16 +00:00
interrupt.h	Exclude copyright notices from Doxygen file descriptions.	2022-02-19 19:56:55 +00:00
main.c	Call cpuid_init() before the first call to map_region().	2022-05-09 18:17:19 +01:00
test.h	Rework memory mapping to allow for larger program size (#54)	2022-04-28 23:04:01 +02:00