Open mwookawa opened 7 years ago
oncore 0 /x86_64/sbin/examples/xmpl-hello /x86_64/sbin/examples/xmpl-hello: file not found: The given name does not exist oncore 0 /x86_64/sbin/examples/xmpl-helloexecution successful with domain id: (null) /x86_64/sbin/examples/xmpl-hello: file not found: The given name does not exist
seems essentially cosmetic to me?
build and boot are fine, but when I run hello world example, there are some page faults. (both qemu and pandaboard have the same problem).
oncore 0 /x86_64/sbin/examples/xmpl-hello
spawnd.0.0: spawning /x86_64/sbin/examples/xmpl-hello on core 0
kernel 0: user page fault in 'fish': addr b IP 5f2a4a SP 980330 error 0x4
Can't deliver exception to thread: handler not set
fish: unhandled page fault (error code 0x4) on b at IP 5f2a4a
kernel_dump_ptables
spawn doesn't seem to pass back a correct domain_id. this was a latent bug in the barrelfish trunk. i'll take a quick look at the spawn function to see if it's easy to trace this back to domain id assignment (or if it's deprecated or ??), and if it's not, i'll use the same workaround.
onesself in the foot with the terminal