Hi all,

I've tried to build the genode framework for the l4ka-pistachio kernel using your 4.2.4 cross toolchain.

When building the dde-usbhid driver (test-dde_linux26_usbhid / REPOSITORIES += ../linux_drivers), the compiler throws a linktime error:

Program test-dde_linux26_usbhid
    COMPILE  main.o
    LINK     test-dde_linux26_usbhid
./dde_linux26-arch.lib.a(dde_linux26-arch_dummies.o): In function `add_input_randomness':
/home/krebserregend/genode/linux_drivers/src/lib/dde_linux26/arch/dde_kit/dummies.c:15: multiple definition of `add_input_randomness'
./dde_linux26-drivers.lib.a(dde_linux26-drivers_random.o):/home/krebserregend/genode/linux_drivers/src/linux26/drivers/char/random.c:636: first defined here
./dde_linux26-drivers.lib.a(dde_linux26-drivers_random.o): In function `random_write':
random.c:(.text+0x11e2): undefined reference to `__mark_inode_dirty'
./dde_linux26-drivers.lib.a(dde_linux26-drivers_random.o): In function `secure_ip_id':
random.c:(.text+0x1231): undefined reference to `half_md4_transform'
./dde_linux26-drivers.lib.a(dde_linux26-drivers_random.o): In function `random_read':
random.c:(.text+0x1484): undefined reference to `touch_atime'
collect2: ld returned 1 exit status
make[2]: *** [/home/krebserregend/genode/build.pistachio_x86/test/dde_linux26_usbhid/test-dde_linux26_usbhid] Error 1
make[1]: *** [single_target] Error 2
make: *** [.] Error 2

Is there perhaps anything missing in my host OS (Ubuntu 9.04)?

Cheers

Sven