search

mirage / mirage-platform

Archived, see https://github.com/mirage/mirage/issues/1159 for details. Old: Core platform libraries for Mirage (UNIX and Xen). This provides the `OS` library which handles timers, device setup and the main loop, as well as the runtime for the Xen unikernel.
https://mirage.io
Other
77 stars 42 forks source link

Unsupported function times called in Mini-OS kernel #131

Closed samoht closed 9 years ago

samoht commented 9 years ago

Seems that Sys.time is not supported by the runtime. We should provide some monotonic time there.

Unsupported function times called in Mini-OS kernel
Do_exit called!
base is 0x4efc80 caller is 0x290930
base is 0x3 Page fault at linear address b, rip 2ae747, regs 00000000004efba8, sp 4efc50, our_sp 00000000004efb68, code 0
RIP: e030:[<00000000002ae747>]
RSP: e02b:00000000004efc50  EFLAGS: 00010006
RAX: 000000000000000c RBX: 0000000000000003 RCX: 0000000000000c0c
RDX: 0000000000000c0c RSI: 00000000004efab0 RDI: 0000000000000004
RBP: 00000000004efc80 R08: 000000000000040b R09: 0000000000000020
R10: 000000000000000c R11: 0000000000000000 R12: 000000000011d967
R13: 0000000000000005 R14: 00000000004efd90 R15: 000000000088f190
base is 0x4efc80 caller is 0x290930
base is 0x3 Page fault in pagetable walk (access to invalid memory?).
talex5 commented 9 years ago

I've added support here: https://github.com/mirage/mirage-platform/pull/134