exclave_kernel.md

exclave_kernel

exclave_kernel

 
   __TEXT.__head: 0x1b0
-  __TEXT.__text: 0x11b98
+  __TEXT.__text: 0x11b58
   __TEXT.__const: 0xad0
   __TEXT.__cstring: 0x992
   __DATA.__data: 0x130
   __DATA.__bss: 0x19b00
   __DATA.__common: 0x50
   __IMAGE_END.__image_end: 0x0
-  UUID: E5C4AC0C-07E8-3113-93E3-4B58F059DB73
+  UUID: EA4D8844-55CC-3B56-8938-4905289EB5FE
   Functions: 158
   Symbols:   439
   CStrings:  170
CStrings:
+ "cL4 microkernel (cL4 (503.140.4))"
+ "exception.c:245"
+ "exception.c:35"
+ "obj_ec.c:1738"
+ "obj_ec.c:1742"
+ "obj_ec.c:1744"
+ "obj_ec.c:1751"
+ "obj_ec.c:1755"
+ "obj_ec.c:1757"
+ "obj_ec.c:1764"
+ "obj_ec.c:1768"
+ "obj_ec.c:1770"
+ "obj_ec.c:1777"
+ "obj_ec.c:1779"
- "cL4 microkernel (cL4 (503.120.4))"
- "exception.c:24"
- "exception.c:259"
- "obj_ec.c:1730"
- "obj_ec.c:1734"
- "obj_ec.c:1736"
- "obj_ec.c:1743"
- "obj_ec.c:1747"
- "obj_ec.c:1749"
- "obj_ec.c:1756"
- "obj_ec.c:1760"
- "obj_ec.c:1762"
- "obj_ec.c:1769"
- "obj_ec.c:1771"