Make tests public. Rewrite most tests. Add tests.

[pintos-anon] / src / lib / user / normal.lds

diff --git a/src/lib/user/normal.lds b/src/lib/user/normal.lds
index e4ca5db3312d4852fb71281440afc25207267772..cc6d6c03a60791071ba91663cfdaaebee67dbb78 100644 (file)
--- a/src/lib/user/normal.lds
+++ b/src/lib/user/normal.lds
@@ -5,6 +5,7 @@ ENTRY(_start)
 SECTIONS
 {
   /* Read-only sections, merged into text segment: */
+  __executable_start = 0x08048000 + SIZEOF_HEADERS;
   . = 0x08048000 + SIZEOF_HEADERS;
   .text : { *(.text) } = 0x90
   .rodata : { *(.rodata) }