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 ------------------------------------------------------------------------------ "Accelerate Dev Cycles with Automated Cross-Browser Testing - For FREE Instantly run your Selenium tests across 300+ browser/OS combos. Get unparalleled scalability from the best Selenium testing platform available. Simple to use. Nothing to install. Get started now for free." http://p.sf.net/sfu/SauceLabs _______________________________________________ Genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
