failure running seoul-genode run script

[Tim Newsham]

When trying to run seoul-genode I get errors that seem to
loop forever.  The normal "printf" run script runs fine, just
not from within seoul.
Some output is shown below with a
full log at http://pastebin.com/sPsWJ7X5 .
I also tried running seoul-kernelbuild and saw similar failures,
but without the looping behavior.  The failures seem to happen
in seoul itself.

[init -> seoul] VMM: reset CPU from 7 mtr_in effff
[init -> seoul] VMM: > bool
VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2
[init -> iso9660] cache hit for file /hypervisor
[init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor
iommu serial
[init -> iso9660] cache hit for file /genode/core
[init -> seoul] VMM: module 1 start a802000+cf000 cmdline core
[init -> iso9660] cache hit for file /genode/config
[init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config
[init -> iso9660] cache hit for file /genode/init
[init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init
[init -> iso9660] cache hit for file /genode/test-printf
[init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf
[init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000
[init -> seoul] Logging::vprintf not implemented
[init -> seoul] VMM: reset CPU from 7 mtr_in effff


-- 
Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com