Run/demo steps for raspi

[w_schmidt at ...181...]

Hi,

I tried to prepare a sd card for raspberry pi.

I used the commands from
http://genode.org/documentation/release-notes/13.11
, and additionally installed fist lex, bison and svn (otherwise make -C 
libports prepare PKG=libc didn't work).

Now I'm a bit stuck. The Pi does not boot the image. It only shows a very 
colorful screen (the one which is normally shown if no os is on a sd card or 
no sd card is entered.

I used the archlinux iso and set in config the created genode.img.

Is there a way to find out what happens?

Best regards,
Wolfgang