Greetings :)

I have recently purchased a libreboot x200 thinkpad, and attempted to boot Genode's Sculpt scenario from USB. Unfortunately, nothing happened at all.