Hi Norman,

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 

make[3]: *** No rule to make target `_setjmp.o', needed by `libc-setjmp.lib.a'

Any ideas?

Cheers
Nick


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