NOVA User-Level Environment  Version testbox/changed-memory-timing-317-g320d8b5
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
2 Debugging

2.1 How to decode crash messages

[ 0] Killed EC:0xc13dd3c0 SC:0xc0010580 V:0xe CS:0x1b EIP:0x80000c39 CR2:0xc ERR:0x4 (PT wrong CPU)
  • V: exception vector - in this case "page fault". See NOVA Microhypervisor specification, section "Event-Speciļ¬c Capability Selectors".
  • EIP: Instruction pointer (dissassemble your binary and find that address).
    objdump -S myapp.nul.debug|less -p80000c39
    
  • CR2: Page fault address
  • ERR: The error code. In this case, the page-fault handling portal is bound to another CPU than the one where the page-fault occured.