users July 2016

users@lists.genode.org

30 participants
35 discussions

abort called - thread ep
by Duss Pirmin 05 Jul '16

05 Jul '16

Hello all I try to upgrade gtest, that Roman Iten had ported some time ago, to the latest version, as I also need gmock. When I run the gtest run script, I get the following error message: [init -> gtest] [ RUN ] EXPECT_PRED1Test.FunctorOnBuiltInTypeFailure [init -> gtest] Warning: abort called - thread: ep [init] virtual void Genode::Child_policy::exit(int): child "gtest" exited with exit value 1 Is there a way to find out what causes this? Gtest uses a main() function and doesn't use the server library or the component framework. The current development can be found at: https://github.com/trimpim/genode/tree/googletest Best regards Pirmin

1 0

porting "1497_usb_armory_demo" on imx53qsb
by 김진홍 03 Jul '16

03 Jul '16

Hi, I'm currently developing a simple trustzone device driver running in Normal World to communicate with Genode in Secure World. I'm using I.MX53 QSB. And I read following article to acheive my goal : https://sourceforge.net/p/genode/mailman/message/34341641/ After read the article, I tried to use "1497_usb_armory_demo". my procedure was as follows: 1. git clone genode and linux branch. (https://github.com/m-stein/genode/tree/1497_usb_armory_demo , https://github.com/m-stein/linux/tree/1497_usb_armory_demo) 2. cd <linux> 3. make ARCH=arm CROSS_COMPILE=${gcc-eabi} LOADADDR=0x80008000 usbarmory_defconfig 4. make ARCH=arm CROSS_COMPILE=${gcc-eabi} LOADADDR=0x80008000 uImage And uImage is ready 5. cd <genode> 6. ./tool/create_builddir hw_imx53_qsb_tz BUILD_DIR=mx53_tz 7. cd mx53_tz 8. mkdir bin 9. cp <linux>/arch/arm/boot/uImage ./bin/linux 10. cd mx53_tz and modify RUN_OPT in etc/build.conf to include “image/uboot"(e.g. RUN_OPT = --include boot_dir/hw --include image/uboot) 11. modify <genode>/repos/os/run/tz_vmm.run (only delete md5 check routine, "exec >& /dev/null wget -O linux.md5 $linux_uri.md5" and "exec md5sum -c linux.md5") 12. make run/tz_vmm And uImage can be found in mx53_tz/var/run/tz_vmm I booted system using sdcard and uboot. but, error is occured : => ext2load mmc 0:1 0xb0000000 uImage 7039880 bytes read in 410 ms (16.4 MiB/s) => bootm 0xb0000000 ## Booting kernel from Legacy Image at b0000000 ... Image Name: Image Type: ARM Linux Kernel Image (gzip compressed) Data Size: 7039816 Bytes = 6.7 MiB Load Address: 70010000 Entry Point: 70010000 Verifying Checksum ... OK Uncompressing Kernel Image ... OK Starting kernel ... kernel initialized Genode 15.08 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 243 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open ROM session for module "ld.lib.so" [init] parent provides [init] service "ROM" [init] service "RAM" [init] service "IRQ" [init] service "IO_MEM" [init] service "IO_PORT" [init] service "CAP" [init] service "PD" [init] service "RM" [init] service "CPU" [init] service "LOG" [init] service "SIGNAL" [init] service "VM" [init] child "tz_vmm" [init] RAM quota: 10203136 [init] ELF binary: tz_vmm [init] priority: 0 [init -> tz_vmm] Start virtual machine ... [init -> tz_vmm] Cpu state: [init -> tz_vmm] Register Virt Phys [init -> tz_vmm] --------------------------------- [init -> tz_vmm] r0 = 07000000 [00000000] [init -> tz_vmm] r1 = f801ff50 [00000000] [init -> tz_vmm] r2 = ffffffe4 [00000000] [init -> tz_vmm] r3 = 40002000 [00000000] [init -> tz_vmm] r4 = 00000000 [00000000] [init -> tz_vmm] r5 = 00000000 [00000000] [init -> tz_vmm] r6 = 000000ee [00000000] [init -> tz_vmm] r7 = 00000000 [00000000] [init -> tz_vmm] r8 = 00000000 [00000000] [init -> tz_vmm] r9 = 00000000 [00000000] [init -> tz_vmm] r10 = 00000000 [00000000] [init -> tz_vmm] r11 = 00000000 [00000000] [init -> tz_vmm] r12 = 00000000 [00000000] [init -> tz_vmm] sp = 00000000 [00000000] [init -> tz_vmm] lr = 00000000 [00000000] [init -> tz_vmm] ip = 0040dfe8 [00000000] [init -> tz_vmm] cpsr = 60000093 [init -> tz_vmm] sp_und = 00000000 [00000000] [init -> tz_vmm] lr_und = 00000000 [00000000] [init -> tz_vmm] spsr_und = 00000000 [00000000] [init -> tz_vmm] sp_svc = f801ff4c [00000000] [init -> tz_vmm] lr_svc = 0040bc97 [00000000] [init -> tz_vmm] spsr_svc = 00000093 [00000000] [init -> tz_vmm] sp_abt = 00000000 [00000000] [init -> tz_vmm] lr_abt = 00000000 [00000000] [init -> tz_vmm] spsr_abt = 00000000 [00000000] [init -> tz_vmm] sp_irq = 00000000 [00000000] [init -> tz_vmm] lr_irq = 00000000 [00000000] [init -> tz_vmm] spsr_irq = 00000000 [00000000] [init -> tz_vmm] sp_fiq = 00000000 [00000000] [init -> tz_vmm] lr_fiq = 00000000 [00000000] [init -> tz_vmm] spsr_fiq = 00000000 [00000000] [init -> tz_vmm] ttbr0 = 00000000 [init -> tz_vmm] ttbr1 = 00000000 [init -> tz_vmm] ttbrc = 00000000 [init -> tz_vmm] dfar = 07000000 [00000000] [init -> tz_vmm] exception = data_abort [init -> tz_vmm] Could not handle data-abort will exit! I don't know how to port "1497_usb_armory_demo" on my imx53 board. Is there any way for this? Is there any comment to implement this kind of example? I'm really looking forward to any responses. My Best Regards, Jinhong Kim

1 0

l4android hangs up
by john stokes 03 Jul '16

03 Jul '16

while running l4android it hangs up and the log of the run is given below please help me to resolve the above problem the l4android.run is attached with the post =========================================================== th exit value 1 Insufficient quota for transfer: init -> part_blk have 1540096, need 4206592 [init] not enough quota for a donation of 4206592 bytes [init -> l4android] Booting L4Linux ... [init] child "timer" announces service "Timer" [init] nic_bridge: invalid route to non-existing server "usb_block_drv" [init -> uart_drv] --- Fiasco(.OC) KDB UART driver started --- [init -> part_blk] resource_request: ram_quota=4206592 [init -> part_blk] virtual void Genode::Platform_env::release(): used before freeing emergency=417792 [init -> nic_bridge] Uncaught exception of type 'Genode::Parent::Service_denied' [init -> part_blk] virtual void Genode::Platform_env::release(): used after freeing emergency=401408 [init -> nic_bridge] Warning: abort called - thread: ep [init] child "uart_drv" announces service "Uart" [init] virtual void Genode::Child_policy::exit(int): child "nic_bridge" exited with exit value 1 [init] child "part_blk" requests resources: ram_quota=4206592 [init] Cannot respond to resource request - out of memory [init] child "uart_drv" announces service "Terminal" [init -> l4android] ======> L4Linux starting... <======== [init -> l4android] Linux version 3.5.0-l4-gcea6e7a (rishabh@...431...) (gcc version 4.9.2 (GCC) ) #53 SMP Sun Jul 3 11:06:58 IST 2016 [init -> l4android] Binary name: vmlinux [init -> l4android] Linux kernel command line (3 args): mem=768M console=ttyS0 l4x_rd=root-ginger.gz [init -> l4android] CPU mapping (l:p)[0]: Image: 00401000 - 00865000 [4496 KiB]. [init -> l4android] Areas: Text: 00401000 - 00795000 [3664kB] (a bit longer) [init -> l4android] Data: 00795000 - 007b8820 [142kB] [init -> l4android] Initdata: 007cc000 - 007f3000 [156kB] [init -> l4android] BSS: 007f4000 - 00855000 [388kB] [init -> l4android] l4util_cpu_capabilities: Not implemented yet! [init -> l4android] gs=43 fs=43 [init -> l4android] l4io_get_root_device: Not implemented yet! [init -> l4android] Device scan: [init -> l4android] l4io_iterate_devices: Not implemented yet! [init -> l4android] Device scan done. [init -> l4android] l4x_fiasco_gdt_entry_offset = 9 [init -> l4android] main thread will be 12 [init -> l4android] l4x_register_pointer_section: addr = 00400000 size = 4608000 [init -> l4android] section-with-init: virt: 400000 to 864fff [4500 KiB] [init -> l4android] Cannot determine physical address for dataspace Binary! [init -> l4android] error: failed to get physical address for 400000. [init -> l4android] Main thread running, waiting... [init -> l4android] thread=12000 cpu=0 [init -> l4android] WARNING: Unknown wrmsr: 0000008b at 668141 [init -> l4android] l4x_setup_memory: Forcing superpages for main memory [init -> l4android] l4re_global_env: 0 [init -> l4android] Main memory size: 768MB unmapping of managed dataspaces not yet supported [init -> l4android] Main memory: virt: 60000000 to 8fffffff [786432 KiB] [init -> l4android] Main memory: Phys: 0x00000000 to 0x30000000, Size: 805306368 [init -> l4android] Filling lower ptabs... [init -> l4android] Done (0 entries). [init -> l4android] l4x_register_pointer_section: addr = 00400000 size = 4608000 [init -> l4android] text: virt: 400000 to 864fff [4500 KiB] [init -> l4android] Cannot determine physical address for dataspace Binary! [init -> l4android] error: failed to get physical address for 400000. [init -> l4android] l4x_rd_path: root-ginger.gz [init -> l4android] Loading: root-ginger.gz [init -> l4android] INITRD: Size of RAMdisk is 596KiB [init -> l4android] RAMdisk from 000a3000 to 00138000 [596KiB] --------------------------------------------------------------------- CPU 0 [f0039463]: SERIAL_ESC [ uart_ep] jdb: R [l]ist/[a]ttach:

1 0

e1000 nic driver problem
by john stokes 01 Jul '16

01 Jul '16

i am trying to run l4linux on my x86 hardware but after commenting these lines l4linux boots fine. append_if $use_nic_driver config { <start name="nic_drv"> <resource name="RAM" quantum="3M"/> <provides><service name="Nic"/></provides> </start> } but i want the ethernet support my has no e1000 support it supports r8169 realtek driver i changed the e1000 from the l4linux.run to r8169 but it is showing errors . i have gone through many source codes related to nic_drv but i can't find where to change it can you please tell me how to add support for r8169 and the error is: Kernel: arch/l4/boot/Image is ready Building modules, stage 2. MODPOST 97 modules Program server/report_rom/report_rom Program core/spec/x86_32/core COMPILE version.o LINK core make[1]: `drivers/nic' is up to date. make[1]: `drivers/acpi' is up to date. make[1]: Leaving directory `/home/rishabh/genode-16.05/build/foc_x86_32' genode build completed Download initramfs ... using fiasco kernel /home/rishabh/genode-16.05/build/foc_x86_32/kernel/fiasco.oc/fiasco using sigma0/bootstrap at /home/rishabh/genode-16.05/build/foc_x86_32/l4 install bootloader creating ISO image... Warning: -follow-links does not always work correctly; be careful. Size of boot image is 4 sectors -> No emulation 79.64% done, estimate finish Thu Jun 30 19:27:48 2016 Total translation table size: 2048 Total rockridge attributes bytes: 3075 Total directory bytes: 10240 Path table size(bytes): 78 Max brk space used 22000 6283 extents written (12 MB) spawn qemu-system-i386 -no-kvm -m 160 -nographic -serial mon:stdio -smp 2,cores=2 -net nic,model=r8169 -net user -cdrom var/run/l4linux.iso qemu-system-i386: Unsupported NIC model: r8169 Aborting, received EOF Log step failed, retry. spawn qemu-system-i386 -no-kvm -m 160 -nographic -serial mon:stdio -smp 2,cores=2 -net nic,model=r8169 -net user -cdrom var/run/l4linux.iso -cdrom var/run/l4linux.iso qemu-system-i386: -cdrom var/run/l4linux.iso: drive with bus=1, unit=0 (index=2) exists Aborting, received EOF Log step failed, retry. spawn qemu-system-i386 -no-kvm -m 160 -nographic -serial mon:stdio -smp 2,cores=2 -net nic,model=r8169 -net user -cdrom var/run/l4linux.iso -cdrom var/run/l4linux.iso -cdrom var/run/l4linux.iso qemu-system-i386: -cdrom var/run/l4linux.iso: drive with bus=1, unit=0 (index=2) exists Aborting, received EOF Log step failed, retry. Boot process failed 3 times in series. I give up! make: *** [run/l4linux] Error 255

3 14

gdb_monitor not working on nova_x86_64
by Nobody III 01 Jul '16

01 Jul '16

I am planning on using gdb_monitor to debug components I write, but it doesn't seem to work. I have tried all the run scripts, and none of them succeed at attaching the debugger. I looked for any recent applicable commits in genodelabs/master, but none of them are more recent than the 16.05 release which my personal repo is currently based on. Here is the output from gdb_monitor.run: int main(): --- create local services --- int main(): --- start init --- int main(): transferred 86 MB to init [init] parent provides [init] service "ROM" [init] service "RAM" [init] service "IRQ" [init] service "IO_MEM" [init] service "IO_PORT" [init] service "PD" [init] service "RM" [init] service "CPU" [init] service "LOG" [init] child "timer" [init] RAM quota: 1863680 [init] ELF binary: timer [init] priority: 0 [init] provides service Timer [init] child "uart_drv" [init] RAM quota: 1863680 [init] ELF binary: uart_drv [init] priority: 0 [init] provides service Terminal [init] provides service Uart [init] child "gdb_monitor" [init] RAM quota: 3960832 [init] ELF binary: gdb_monitor [init] priority: 0 [init] child "timer" announces service "Timer" [init -> uart_drv] --- i8250 UART driver started --- [init] child "uart_drv" announces service "Uart" [init] child "uart_drv" announces service "Terminal" [init -> gdb_monitor] usinGDB monitor is up, starting GDB spawn /usr/local/genode-gcc/bin/genode-x86-gdb bin/ld.lib.so -n -ex target remote localhost:5555 -ex set interactive-mode off -ex b binary_ready_hook_for_gdb -ex c -ex delete 1 -ex file bin/test-gdb_monitor -ex b main -ex set solib-search-path bin -ex sharedlibrary -ex c -ex delete 2 2&>1 ----- test: breakpoint in 'main()' ----- g the pipe libc plugin [init -> gdb_monitor] int sigaction(int, const sigaction*, sigaction*): sigaction not implemented [init -> gdb_monitor] Process target created; pid = 1 [init -> gdb_monitor] unsupported ioctl (request=0x40047477) [init -> gdb_monitor] unsupported ioctl (request=0x80047476) [init -> uart_drv] Baudrate is not defined. Use default 115200 GNU gdb (GDB) 7.3.1 Copyright (C) 2011 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html > This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. Type "show copying" and "show warranty" for details. This GDB was configured as "--host=x86_64-unknown-linux-gnu --target=x86_64-pc-elf". For bug reporting instructions, please see: <http://www.gnu.org/software/gdb/bugs/>... Reading symbols from /home/kingtux/genode/build/nova_x86_64/bin/ld.lib.so...[init -> gdb_monitor] Remote debugging using /dev/terminal [init -> gdb_monitor] fcntl(): command 4 args 66 not supported - terminal [init -> gdb_monitor] fcntl(): command 6 args 4294967295 not supported - terminal int main(): --- init created, waiting for exit condition --- done. Don't know how to attach. Try "help target". GDB can't read core files on this machine. localhost:5555: Connection timed out. Breakpoint 1 at 0xafd10: file /home/kingtux/genode/repos/base/src/lib/ldso/debug.cc, line 21. The program is not being run. Load new symbol table from "/home/kingtux/genode/build/nova_x86_64/bin/test-gdb_monitor"? (y or n) [answered Y; input not from terminal] Reading symbols from /home/kingtux/genode/build/nova_x86_64/bin/test-gdb_monitor...done. Breakpoint 2 at 0x1001678: file /home/kingtux/genode/repos/ports/src/test/gdb_monitor/main.cc, line 93. The program is not being run. (gdb) *** Error: Breakpoint in main() did not trigger Makefile:261: recipe for target 'run/gdb_monitor' failed make: *** [run/gdb_monitor] Error 255

2 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users July 2016