Great to see that progress has been made with Pi. I spent time on this at the beginning of the week, got stuck, and now see that I need to add 'kernel_address=0x00800000' in config.txt.
I just tried the instructions given in the release notes for the latest release and hit an error
nick@...216...:~/genode$ make -C dde_linux prepare_rpi
make: Entering directory `/home/nick/genode/dde_linux'
downloading source code to 'download/linux-3.9.tar.gz'
--2013-11-29 12:01:17-- http://www.kernel.org/pub/linux/kernel/v3.x/linux-3.9.tar.gz
Resolving www.kernel.org (www.kernel.org)... 149.20.4.69, 199.204.44.194, 198.145.20.140
Connecting to www.kernel.org (www.kernel.org)|149.20.4.69|:80... connected.
HTTP request sent, awaiting response... 301 Moved Permanently
Location: https://www.kernel.org/pub/linux/kernel/v3.x/linux-3.9.tar.gz [following]
--2013-11-29 12:01:18-- https://www.kernel.org/pub/linux/kernel/v3.x/linux-3.9.tar.gz
Connecting to www.kernel.org (www.kernel.org)|149.20.4.69|:443... connected.
HTTP request sent, awaiting response... 200 OK
Length: 108687923 (104M) [application/x-gzip]
Saving to: `linux-3.9.tar.gz'
100%[======================================>] 108,687,923 282K/s in 6m 26s
2013-11-29 12:07:45 (275 KB/s) - `linux-3.9.tar.gz' saved [108687923/108687923]
extracting source code to 'contrib'
applying patches to 'contrib/'
patching file net/ipv4/ipconfig.c
patching file net/ipv4/tcp.c
patching file drivers/hid/usbhid/hid-core.c
patching file drivers/net/usb/usbnet.c
Hunk #1 succeeded at 234 (offset -19 lines).
Hunk #2 succeeded at 1587 (offset -19 lines).
Hunk #3 succeeded at 1614 (offset -19 lines).
Hunk #4 succeeded at 1665 (offset -19 lines).
Hunk #5 succeeded at 1692 (offset -19 lines).
Hunk #6 succeeded at 1804 (offset -19 lines).
Hunk #7 succeeded at 1812 (offset -19 lines).
patching file drivers/usb/core/config.c
patching file drivers/usb/core/devices.c
patching file drivers/usb/core/hub.c
patching file drivers/usb/core/message.c
patching file drivers/usb/host/xhci-hub.c
patching file drivers/usb/host/xhci.c
patching file drivers/usb/storage/alauda.c
patching file drivers/usb/storage/datafab.c
patching file drivers/usb/storage/jumpshot.c
patching file drivers/usb/storage/karma.c
patching file drivers/usb/storage/onetouch.c
patching file drivers/usb/storage/realtek_cr.c
patching file drivers/usb/storage/sddr09.c
patching file drivers/usb/storage/sddr55.c
patching file drivers/usb/storage/shuttle_usbat.c
patching file drivers/usb/storage/transport.c
patching file drivers/usb/storage/usb.c
patching file drivers/net/usb/ax88179_178a.c
patching file drivers/usb/host/xhci-plat.c
patching file drivers/net/usb/smsc95xx.c
patching file drivers/usb/dwc3/core.c
patching file net/ipv4/icmp.c
patching file net/core/skbuff.c
patching file drivers/net/usb/usbnet.c
patching file drivers/input/evdev.c
Cloning into 'dwc_otg'...
remote: Counting objects: 233, done.
remote: Compressing objects: 100% (93/93), done.
remote: Total 233 (delta 138), reused 233 (delta 138)
Receiving objects: 100% (233/233), 420.95 KiB | 273 KiB/s, done.
Resolving deltas: 100% (138/138), done.
HEAD is now at 1776877 dwc_otg: prevent leaking URBs during enqueue
Branch r1 set up to track remote branch r1 from origin.
Switched to a new branch 'r1'
make: Leaving directory `/home/nick/genode/dde_linux'
nick@...216...:~/genode$ make -C libports prepare PKG=libc
make: Entering directory `/home/nick/genode/libports'
ports/libc.mk:13: *** Need to have 'bison' installed.. Stop.
make: Leaving directory `/home/nick/genode/libports'
nick@...216...:~/genode$ ./tool/create_builddir hw_rpi BUILD_DIR=build.rpi
successfully created build directory at build.rpi
nick@...216...:~/genode$ cd build.rpi
nick@...216...:~/genode/build.rpi$ MAKE += -j4
MAKE: command not found
nick@...216...:~/genode/build.rpi$ ls
etc Makefile
nick@...216...:~/genode/build.rpi$ ls etc
build.conf specs.conf
nick@...216...:~/genode/build.rpi$ vi etc/build.conf
nick@...216...:~/genode/build.rpi$ make run/demo
using run script /home/nick/genode/base-hw/run/env
using run script /home/nick/genode/os/run/demo.run
spawn make core init drivers/timer server/nitpicker server/liquid_framebuffer app/launchpad app/scout test/nitpicker server/nitlog drivers/framebuffer drivers/pci drivers/input drivers/usb drivers/platform
make[1]: Entering directory `/home/nick/genode/build.rpi'
checking library dependencies...
Skip target core/arndale because it requires platform_arndale
Skip target core/imx31 because it requires platform_imx31
Skip target core/imx53/no_trustzone because it requires platform_imx53
Skip target core/imx53/trustzone because it requires trustzone platform_imx53
Skip target core/panda because it requires platform_panda
Skip target core/pbxa9 because it requires platform_pbxa9
Skip target core/vea9x4/no_trustzone because it requires platform_vea9x4
Skip target core/vea9x4/trustzone because it requires platform_vea9x4 trustzone
Skip target drivers/framebuffer/exynos5 because it requires exynos5
Skip target drivers/framebuffer/imx53 because it requires imx53
Skip target drivers/framebuffer/omap4 because it requires omap4
Skip target drivers/framebuffer/pl11x/pbxa9 because it requires pl11x platform_pbxa9
Skip target drivers/framebuffer/pl11x/vea9x4 because it requires pl11x platform_vea9x4
Skip target drivers/framebuffer/pl11x/vpb926 because it requires pl11x platform_vpb926
Skip target drivers/framebuffer/sdl because it requires linux sdl
Skip target drivers/framebuffer/vesa because it requires vesa
Skip target drivers/input/imx53 because it requires imx53
Skip target drivers/input/ps2/pl050 because it requires pl050
Skip target drivers/input/ps2/x86 because it requires x86 ps2
Skip target drivers/pci/device_pd because it requires nova
Skip target drivers/pci/x86 because it requires x86
Skip target drivers/platform/arndale because it requires platform_arndale
Skip target drivers/platform/gta01 because it requires platform_gta01
Skip target drivers/platform/imx53 because it requires imx53
Library platform
MERGE platform.lib.a
Library mini_c
COMPILE abort.o
COMPILE atol.o
COMPILE malloc_free.o
COMPILE memcmp.o
COMPILE memset.o
COMPILE mini_c.o
COMPILE printf.o
COMPILE snprintf.o
COMPILE strlen.o
COMPILE strtod.o
COMPILE strtol.o
COMPILE vsnprintf.o
MERGE mini_c.lib.a
Library libz_static
COMPILE adler32.o
COMPILE compress.o
COMPILE crc32.o
COMPILE deflate.o
COMPILE gzio.o
COMPILE infback.o
COMPILE inffast.o
COMPILE inflate.o
COMPILE inftrees.o
COMPILE trees.o
COMPILE uncompr.o
COMPILE zutil.o
MERGE libz_static.lib.a
Library libpng_static
COMPILE png.o
COMPILE pngerror.o
COMPILE pngget.o
COMPILE pngmem.o
COMPILE pngpread.o
COMPILE pngread.o
COMPILE pngrio.o
COMPILE pngrtran.o
COMPILE pngrutil.o
COMPILE pngset.o
COMPILE pngtrans.o
COMPILE pngwio.o
COMPILE pngwrite.o
COMPILE pngwtran.o
COMPILE pngwutil.o
MERGE libpng_static.lib.a
Library cxx
COMPILE exception.o
COMPILE guard.o
COMPILE malloc_free.o
COMPILE misc.o
COMPILE new_delete.o
COMPILE unwind.o
MERGE supc++.o
CONVERT supc++.o
MERGE cxx.lib.a
Library kernel_interface
COMPILE kernel/interface.o
MERGE kernel_interface.lib.a
Library base-common
COMPILE allocator/allocator_avl.o
COMPILE allocator/slab.o
COMPILE avl_tree/avl_tree.o
COMPILE child/child.o
COMPILE console/console.o
COMPILE elf/elf_binary.o
COMPILE heap/heap.o
COMPILE heap/sliced_heap.o
COMPILE ipc.o
COMPILE ipc/ipc_marshal_cap.o
COMPILE lock/lock.o
COMPILE main_bootstrap.o
COMPILE process/process.o
COMPILE server/common.o
COMPILE server/server.o
COMPILE signal/common.o
COMPILE signal/signal.o
COMPILE thread/thread_bootstrap.o
COMPILE thread/trace.o
MERGE base-common.lib.a
Library syscall
MERGE syscall.lib.a
Library startup
COMPILE _main.o
ASSEMBLE crt0.o
MERGE startup.lib.a
Library base
COMPILE console/log_console.o
COMPILE env/context_area.o
COMPILE env/env.o
COMPILE env/reload_parent_cap.o
COMPILE thread/thread.o
COMPILE thread_support.o
MERGE base.lib.a
Library launchpad
COMPILE launchpad.o
MERGE launchpad.lib.a
Library blit
COMPILE blit.o
MERGE blit.lib.a
Library scout_widgets
CONVERT binary_closed_icon.rgba.o
CONVERT binary_downarrow.rgba.o
CONVERT binary_kill_icon.rgba.o
CONVERT binary_loadbar.rgba.o
CONVERT binary_mono16.tff.o
CONVERT binary_opened_icon.rgba.o
CONVERT binary_redbar.rgba.o
CONVERT binary_sizer.rgba.o
CONVERT binary_slider.rgba.o
CONVERT binary_titlebar.rgba.o
CONVERT binary_uparrow.rgba.o
CONVERT binary_vera16.tff.o
CONVERT binary_vera18.tff.o
CONVERT binary_vera20.tff.o
CONVERT binary_vera24.tff.o
CONVERT binary_verabi10.tff.o
CONVERT binary_verai16.tff.o
CONVERT binary_whitebar.rgba.o
COMPILE elements.o
COMPILE platform_genode.o
COMPILE refracted_icon.o
COMPILE scrollbar.o
COMPILE sky_texture.o
COMPILE startup.o
COMPILE tick.o
COMPILE widgets.o
MERGE scout_widgets.lib.a
Program app/scout/genode/scout
COMPILE about.o
CONVERT binary_about.rgba.o
CONVERT binary_backward.rgba.o
CONVERT binary_cover.rgba.o
CONVERT binary_forward.rgba.o
CONVERT binary_genode_logo.png.o
CONVERT binary_home.rgba.o
CONVERT binary_index.rgba.o
CONVERT binary_ior.map.o
CONVERT binary_launchpad.png.o
CONVERT binary_liquid_fb_small.png.o
CONVERT binary_nav_next.rgba.o
CONVERT binary_nav_prev.rgba.o
CONVERT binary_pointer.rgba.o
CONVERT binary_setup.png.o
CONVERT binary_x-ray_small.png.o
COMPILE browser_window.o
COMPILE doc.o
COMPILE launcher.o
COMPILE main.o
COMPILE navbar.o
COMPILE png_image.o
LINK scout
Library perf_counter
COMPILE perf_counter.o
MERGE perf_counter.lib.a
Program core/rpi/core
COMPILE _main.o
ASSEMBLE boot_modules.o
COMPILE console.o
COMPILE context_area.o
COMPILE cpu_session_component.o
COMPILE cpu_session_support.o
COMPILE cpu_support.o
ASSEMBLE crt0.o
COMPILE dataspace_component.o
COMPILE dump_alloc.o
COMPILE io_mem_session_component.o
COMPILE io_mem_session_support.o
COMPILE irq_session_component.o
COMPILE kernel/irq.o
COMPILE kernel/kernel.o
COMPILE kernel/signal_receiver.o
COMPILE kernel/thread.o
COMPILE kernel/vm.o
COMPILE main.o
ASSEMBLE mode_transition.o
COMPILE pager.o
COMPILE pd_session_component.o
COMPILE platform.o
COMPILE platform_pd.o
COMPILE platform_services.o
COMPILE platform_support.o
COMPILE platform_thread.o
COMPILE ram_session_component.o
COMPILE ram_session_support.o
COMPILE rm_session_component.o
COMPILE rm_session_support.o
COMPILE rom_session_component.o
COMPILE signal_session_component.o
COMPILE thread.o
COMPILE trace_session_component.o
COMPILE trustzone.o
LINK core
Program drivers/framebuffer/rpi/fb_drv
COMPILE main.o
LINK fb_drv
Program drivers/input/dummy/dummy_input_drv
COMPILE main.o
LINK dummy_input_drv
Program drivers/platform/rpi/platform_drv
COMPILE main.o
LINK platform_drv
Library alarm
COMPILE alarm.o
MERGE alarm.lib.a
Library timer
COMPILE main.o
MERGE timer.lib.a
Program drivers/timer/timer
COMPILE empty.o
LINK timer
Library dde_kit
COMPILE dde_kit.o
COMPILE interrupt.o
COMPILE lock.o
COMPILE memory.o
COMPILE panic.o
COMPILE pci.o
COMPILE pci_tree.o
COMPILE pgtab.o
COMPILE printf.o
COMPILE resources.o
COMPILE semaphore.o
COMPILE spin_lock.o
COMPILE thread.o
COMPILE timer.o
MERGE dde_kit.lib.a
Library libc-setjmp
make[3]: *** No rule to make target `_setjmp.o', needed by `libc-setjmp.lib.a'. Stop.
make[2]: *** [libc-setjmp.lib] Error 2
make[1]: *** [gen_deps_and_build_targets] Error 2
make[1]: Leaving directory `/home/nick/genode/build.rpi'
Error: Genode build failed
make: *** [run/demo] Error 255