28 Apr
2014
28 Apr
'14
6:32 p.m.
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