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