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? CheersNick
nick@...216...:~/genode$ make -C dde_linux prepare_rpimake: 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.gzResolving www.kernel.org (www.kernel.org)... 149.20.4.69, 199.204.44.194, 198.145.20.140Connecting to www.kernel.org (www.kernel.org)|149.20.4.69|:80... connected.HTTP request sent, awaiting response... 301 Moved PermanentlyLocation: 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.gzConnecting to www.kernel.org (www.kernel.org)|149.20.4.69|:443... connected.HTTP request sent, awaiting response... 200 OKLength: 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.cpatching file net/ipv4/tcp.cpatching file drivers/hid/usbhid/hid-core.cpatching file drivers/net/usb/usbnet.cHunk #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.cpatching file drivers/usb/core/devices.cpatching file drivers/usb/core/hub.cpatching file drivers/usb/core/message.cpatching file drivers/usb/host/xhci-hub.cpatching file drivers/usb/host/xhci.cpatching file drivers/usb/storage/alauda.cpatching file drivers/usb/storage/datafab.cpatching file drivers/usb/storage/jumpshot.cpatching file drivers/usb/storage/karma.cpatching file drivers/usb/storage/onetouch.cpatching file drivers/usb/storage/realtek_cr.cpatching file drivers/usb/storage/sddr09.cpatching file drivers/usb/storage/sddr55.cpatching file drivers/usb/storage/shuttle_usbat.cpatching file drivers/usb/storage/transport.cpatching file drivers/usb/storage/usb.cpatching file drivers/net/usb/ax88179_178a.cpatching file drivers/usb/host/xhci-plat.cpatching file drivers/net/usb/smsc95xx.cpatching file drivers/usb/dwc3/core.cpatching file net/ipv4/icmp.cpatching file net/core/skbuff.cpatching file drivers/net/usb/usbnet.cpatching file drivers/input/evdev.cCloning 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 enqueueBranch 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=libcmake: 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.rpisuccessfully created build directory at build.rpinick@...216...:~/genode$ cd build.rpinick@...216...:~/genode/build.rpi$ MAKE += -j4MAKE: command not foundnick@...216...:~/genode/build.rpi$ lsetc Makefilenick@...216...:~/genode/build.rpi$ ls etcbuild.conf specs.confnick@...216...:~/genode/build.rpi$ vi etc/build.confnick@...169.....216...:~/genode/build.rpi$ make run/demousing run script /home/nick/genode/base-hw/run/envusing run script /home/nick/genode/os/run/demo.runspawn 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/platformmake[1]: Entering directory `/home/nick/genode/build.rpi'checking library dependencies...Skip target core/arndale because it requires platform_arndaleSkip target core/imx31 because it requires platform_imx31Skip target core/imx53/no_trustzone because it requires platform_imx53Skip target core/imx53/trustzone because it requires trustzone platform_imx53Skip target core/panda because it requires platform_pandaSkip target core/pbxa9 because it requires platform_pbxa9Skip target core/vea9x4/no_trustzone because it requires platform_vea9x4Skip target core/vea9x4/trustzone because it requires platform_vea9x4 trustzoneSkip target drivers/framebuffer/exynos5 because it requires exynos5Skip target drivers/framebuffer/imx53 because it requires imx53Skip target drivers/framebuffer/omap4 because it requires omap4Skip target drivers/framebuffer/pl11x/pbxa9 because it requires pl11x platform_pbxa9Skip target drivers/framebuffer/pl11x/vea9x4 because it requires pl11x platform_vea9x4Skip target drivers/framebuffer/pl11x/vpb926 because it requires pl11x platform_vpb926Skip target drivers/framebuffer/sdl because it requires linux sdlSkip target drivers/framebuffer/vesa because it requires vesaSkip target drivers/input/imx53 because it requires imx53Skip target drivers/input/ps2/pl050 because it requires pl050Skip target drivers/input/ps2/x86 because it requires x86 ps2Skip target drivers/pci/device_pd because it requires novaSkip target drivers/pci/x86 because it requires x86Skip target drivers/platform/arndale because it requires platform_arndaleSkip target drivers/platform/gta01 because it requires platform_gta01Skip 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-setjmpmake[3]: *** No rule to make target `_setjmp.o', needed by `libc-setjmp.lib.a'. Stop.make[2]: *** [libc-setjmp.lib] Error 2make[1]: *** [gen_deps_and_build_targets] Error 2make[1]: Leaving directory `/home/nick/genode/build.rpi'Error: Genode build failedmake: *** [run/demo] Error 255