René Kijewski abdb3ef2a4 x86: add read-before-write check at runtime ... Finding read-before-writes statically is quite difficult. In native we can use valgrind, but on boards without an MMU we are out of luck. x86 has an MMU, let's use it. If `-DDEBUG_READ_BEFORE_WRITE` was set, then pages on the heap get initialized upon first use. If the page was read before written, then a debug message with the virtual and physical address of the memory location is printed, as well as the address of the offending instruction.		2014-05-31 19:45:19 +02:00
..
include	x86: add read-before-write check at runtime	2014-05-31 19:45:19 +02:00
Makefile	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
Makefile.include	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
nop_nop_nop.inc	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_atomic.c	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_cmos.c	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_glue.c	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_hwtimer.c	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_interrupts.c	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_memory.c	x86: add read-before-write check at runtime	2014-05-31 19:45:19 +02:00
x86_pci_init.c	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_pci_strings.c	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_pci.c	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_pic.c	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_pit.c	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_reboot.c	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_rtc.c	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_startup.c	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_threading.c	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_uart.c	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_ucontext.c	Initial import of the x86 port	2014-05-25 13:40:29 +02:00
x86_videoram.c	Initial import of the x86 port	2014-05-25 13:40:29 +02:00