users

users@lists.genode.org

2 participants
2336 discussions

Genode/Linux USB Application
by Daniel Krefft 06 Jul '16

06 Jul '16

Hi, I wrote an Genode application for the Pololu Maestro Mini Servo Controller in Genode (https://github.com/702nados/genode-pololuServoController). I'm using the usb_drv (dde_linux) and the usb_terminal (pl2303) for read and write commands. It runs flawlessly on PandaBoard (foc_panda). Next, I want to use it with Linux as kernel (linux_x86). If I try to run the resulting application, the usb_drv component throws the following error: > no route to service "Platform" So, is it possible to compile and run the intended application without modifications? If I want to use the linux devices (e.g. usb), who can I achieve this in code? In general, the following shows the intended architecture: --------------------- ServoController | --------------------- Genode | --------------------- Linux | --------------------- Hardware | --------------------- Best regards Daniel

3 2

Turmvilla 16.05 on Lenovo x250
by Martijn Verschoor 05 Jul '16

05 Jul '16

Hi everyone, This weekend I tried to upgrade my Lenovo x250 Turmvilla system to Genode 16.05 using Norman’s turmvilla-16.05 topic branch. I built the turmvilla.run script as is, without modifications. In contrary to the turmvilla-16.02 branch, I do encounter some problems with turmvilla-16.05. During bootup the system stalls displaying the “Copying xxx bytes” messages. The log is inserted below. I see a lot of similarities with parfito’s HP logs for the Heeselicht scenario (https://github.com/genodelabs/genode/issues/2018), but in my case the new acpica component reports "AcpiOsMapMemory:271 called - dead”. At fist sight this function seem implemented (in acpica/iomem.cc). Based on the log below, can anyone hint me at what might be the problem? Met vriendelijke groet / kind regards, Martijn Verschoor Cyber Security Labs B.V. | Gooimeer 6-31 | 1411 DD Naarden | The Netherlands +31 35 631 3253 (office) | +31 616 014 087 (mobile) Bender: Hello World. Need 05156000 bytes to relocate modules. Relocating to 7aeaa000: Copying 2351636 bytes... Copying 1384500 bytes... Copying 1180356 bytes... Copying 1049284 bytes... Copying 679436 bytes... Copying 677296 bytes... Copying 454608 bytes... Copying 506512 bytes... Copying 954224 bytes... Copying 456904 bytes... Copying 51200 bytes... Copying 155200 bytes... Copying 879773 bytes... Copying 582 bytes... Copying 19768 bytes... Copying 90776 bytes... Copying 171112 bytes... Copying 448424 bytes... Copying 88464 bytes... Copying 1587768 bytes... Copying 433200 bytes... Copying 461040 bytes... Copying 465592 bytes... Copying 450648 bytes... Copying 65456 bytes... Copying 1710600 bytes... Copying 451072 bytes... Copying 210128 bytes... Copying 452544 bytes... Copying 1965712 bytes... Copying 33824 bytes... Copying 442336 bytes... Copying 676760 bytes... Copying 65456 bytes... Copying 412312 bytes... Copying 79528 bytes... Copying 440472 bytes... Copying 358192 bytes... Copying 563200 bytes... Copying 1290240 bytes... Copying 706560 bytes... Copying 20008960 bytes... Copying 8581120 bytes... Copying 2887680 bytes... Copying 339216 bytes... Copying 99584 bytes... Copying 454800 bytes... Copying 534840 bytes... Copying 445032 bytes... Copying 479168 bytes... Copying 529472 bytes... Copying 504488 bytes... Copying 443312 bytes... Copying 461600 bytes... Copying 460888 bytes... Copying 579456 bytes... Copying 583848 bytes... Copying 432184 bytes... Copying 425832 bytes... Copying 402904 bytes... Copying 568120 bytes... Copying 434104 bytes... Copying 1285616 bytes... Copying 470480 bytes... Copying 147944 bytes... Copying 8348432 bytes... Copying 126408 bytes... Copying 1228152 bytes... Copying 1882160 bytes... Copying 912112 bytes... Copying 946664 bytes... Copying 66000 bytes... Copying 28904 bytes... Copying 35384 bytes... Copying 165360 bytes... Copying 1130200 bytes... Copying 703080 bytes... Copying 542000 bytes... Copying 452408 bytes... Copying 421632 bytes... Copying 483280 bytes... Copying 31915 bytes... Copying 997480 bytes... Copying 139096 bytes... NOVA Microhypervisor v7-a1dc2f7 (x86_64): Jul 1 2016 16:19:09 [gcc 4.9.2] [ 0] CORE:0:0:0 6:3d:4:6 [21] Intel(R) Core(TM) i5-5300U CPU @ 2.30GHz [ 1] CORE:0:0:1 6:3d:4:6 [21] Intel(R) Core(TM) i5-5300U CPU @ 2.30GHz [ 3] CORE:0:1:1 6:3d:4:6 [21] Intel(R) Core(TM) i5-5300U CPU @ 2.30GHz [ 2] CORE:0:1:0 6:3d:4:6 [21] Intel(R) Core(TM) i5-5300U CPU @ 2.30GHz [ 0] disabling super pages for DMAR core config init timer part_blk ahci_drv ld.lib.so libc.lib.so libm.lib.so pthread.lib.so libc_pipe.lib.so libc_terminal.lib.so libiconv.lib.so stdcxx.lib.so rump.lib.so rump_fs.lib.so rump_fs virtualbox qemu-usb.lib.so ps2_drv usb_drv acpi_drv platform_drv device_pd rtc_drv input_merger nic_drv nitpicker vbox_pointer nit_fb report_rom wm decorator floating_window_layouter noux terminal ram_fs libc_noux.lib.so ncurses.lib.so bash.tar coreutils.tar vim.tar grep.tar findutils.tar diffutils.tar cli_monitor pointer file_terminal terminal_log wifi_drv audio_drv fs_rom vfs_jitterentropy.lib.so libcrypto.lib.so libssl.lib.so wpa_driver_nl80211.lib.so wpa_supplicant.lib.so wifi.lib.so wifi_drv trace_subject_reporter cpu_load_display xray_trigger rom_filter intel_fb_drv backdrop mixer libpng.lib.so zlib.lib.so genode_logo.png grid.png sticks_blue.png themed_decorator plain_decorator_theme.tar usb_report_filter acpica nic_bridge iwlwifi-6000-4.ucode iwlwifi-6000g2a-6.ucode iwlwifi-6000g2b-6.ucode iwlwifi-7260-16.ucode iwlwifi-7265-16.ucode iwlwifi-7265D-16.ucode iwlwifi-8000C-16.ucode Genode 16.05 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 7790 MB to init Quota exceeded! amount=135168, size=4096, consumed=135168 Quota exceeded! amount=151552, size=8192, consumed=151552 [init] upgrading quota donation for Env::PD (8192 bytes) Quota exceeded! amount=159744, size=4096, consumed=159744 Quota exceeded! amount=176128, size=4096, consumed=176128 Quota exceeded! amount=192512, size=4096, consumed=192512 Quota exceeded! amount=208896, size=4096, consumed=208896 Quota exceeded! amount=225280, size=4096, consumed=225280 Quota exceeded! amount=241664, size=4096, consumed=241664 [init -> acpica] wait for platform drv [init -> acpi_drv] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = long long unsigned int; Genode::uint32_t = unsigned int]: Found MADT [init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0 [init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: d [init -> acpi_drv] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = long long unsigned int; Genode::uint32_t = unsigned int]: Found MCFG [init -> acpi_drv] MCFG BASE 0xf8000000 seg 00 bus 00-3f [init -> acpi_drv] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = long long unsigned int; Genode::uint32_t = unsigned int]: Found DMAR [init -> acpi_drv] 39 bit DMA physical addressable , IRQ remapping supported [init -> acpi_drv] DMA remapping structure type=0 [init -> acpi_drv] DMA remapping structure type=0 [init -> acpi_drv] DMA remapping structure type=1 [init -> acpi_drv] DMA remapping structure type=1 [init -> ahci_drv] --- Starting AHCI driver -> done right .-) -- [init -> audio_drv] --- probe drivers --- [init -> wm_report_rom] parsing legacy <rom> policies [init -> wm_report_rom] parsing legacy <rom> policies [init -> wm_report_rom] parsing legacy <rom> policies [init -> wm_report_rom] parsing legacy <rom> policies [init -> wm_report_rom] parsing legacy <rom> policies [init -> wm_report_rom] parsing legacy <rom> policies [init -> log_file_terminal] --- file terminal started --- [init -> config_rom] connection for file 'fb_drv.config' requested [init -> intel_fb_drv] --- intel framebuffer driver --- [init -> intel_fb_drv] INFO: i2c-core: driver [dummy] registered [init -> config_rom] connection for file 'system' requested [init -> platform_drv] 'acpica' - device '00:00.0' is part of more than one policy [init -> acpica] wait for platform drv - done [init -> acpica] detected - ec [init -> acpica] AcpiOsMapMemory:271 called - dead [init -> config_rom] connection for file 'usb_drv.config' requested [init -> usb_drv] Services::Services(): Could not read screen resolution in config node [init -> usb_drv] Services::Services(): No <storage> config node found - not starting the USB Storage (Block) service [init -> config_rom] connection for file 'trace_subject_reporter.config' requested [init -> trace_subject_reporter] period_ms=1000, report_activity=1, report_affinity=1 [init -> config_rom] connection for file 'decorator.config' requested [init -> decorator_config] top-level node <xray> missing in input ROM xray [init -> decorator_config] could not obtain input value for input xray_enabled [init -> config_rom] connection for file 'nitpicker.config' requested [init -> nitpicker_config] top-level node <xray> missing in input ROM xray [init -> config_rom] connection for file 'usb_report_filter.config' requested [init -> cli_terminal] int main(int, char**): --- terminal service started --- [init -> usb_drv] Services::Services(): No <nic> config node found - not starting the USB Nic (Network) service [init -> usb_drv] Enabled UHCI (USB 1.0/1.1) support [init -> usb_drv] Enabled EHCI (USB 2.0) support [init -> usb_drv] Enabled XHCI (USB 3.0) support [init -> nitpicker_config] could not obtain input value for input xray_enabled [init -> nitpicker_config] top-level node <xray> missing in input ROM xray [init -> nitpicker_config] could not obtain input value for input xray_enabled [init -> rump_fs] a0000000 .. afffffff: stack area [init -> rump_fs] 30000 .. 118fff: ld.lib.so [init -> rump_fs] 101f000 .. 11e7fff: rump.lib.so [init -> rump_fs] 11e8000 .. 1310fff: rump_fs.lib.so [init -> rump_fs] Using ext2fs as file system [init -> rump_fs] int rumpuser_init(int, const rumpuser_hyperup*): RUMP ver: 17 [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_THREADS [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_VERBOSE [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): _RUMPUSER_NCPU [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_MEMLIMIT [init -> rump_fs] Asserting rump kernel 27680 KB of RAM [init -> config_rom] connection for file 'wlan_configuration' requested [init -> rump_fs] 101f000 .. 11e7fff: rump.lib.so [init -> rump_fs] 11e8000 .. 1310fff: rump_fs.lib.so [init -> rump_fs] 11e8000 .. 1310fff: rump_fs.lib.so [init -> rump_fs] 101f000 .. 11e7fff: rump.lib.so [init -> rump_fs] 11e8000 .. 1310fff: rump_fs.lib.so [init -> rump_fs] BOOTSTRAP [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_NVNODES [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_BLKFAIL [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_BLKSECTSHIFT [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_MODULEBASE [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): _RUMPUSER_HOSTNAME int main(): --- init created, waiting for exit condition --- [ 0] sys_sc_ctrl: Bad SC CAP (0x151a) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x151a) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x151a) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x151a) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x151a) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x151a) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x151a) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x151a) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x151a) long long unsigned int Genode::Platform_thread::execution_time() const: sc_ctrl failed res=4 [ 0] sys_sc_ctrl: Bad SC CAP (0x151a)

3 5

Session quota yielding
by Charles HH 05 Jul '16

05 Jul '16

Hi, I am currently using a Loader to deploy a subsystem, and in order to improve dynamism, I would like to implement resource trading between the Loader session client and the server. For resource requests, this is pretty straightforward using a notification and the upgrade session facility. However, I would also like the loader to be able to spontaneously yield resources when they are no longer needed. I looked at the yielding facility, but it seemed more focused on direct parent/child trading. Is there a way for a server to yield back resources to its clients symmetrically to the upgrading protocol, ideally that doesn't require modifying the parent interface? Regards, Charles

2 3

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

TRACE API: trace identification
by Joscha Benz 30 Jun '16

30 Jun '16

Hi, im currently using genode's TRACE API to trace communication paths between multiple threads. For that to work properly I need to be able to map all corresponding trace events to each other. For example a RPC_CALL event to the corresponding RPC_DISPATCH event. The problem is as follows. Since a trace event is logged _before_ the related action is executed, it is possible that a thread is preempted between those two actions. In that case I'm unable to do the mapping just using the information provided by the TRACE API or am I missing something? Best regards, Joscha

1 0

multiboot l4linux and ubuntu
by john stokes 30 Jun '16

30 Jun '16

after building the l4linux using make run/l4linux i got the iso file of l4linux now i want to create a grub2 entry for l4linux along with ubuntu how should i do it? i have followed methods given on other places they all are distro specific i have also seen nova hypervisor multiboot mailing list doubt it is of not much help is there any way to use create_grub2 tool? my l4linux file is at <build-dir>/foc_x86_32/var/run/l4linux/boot <build-dir>/foc_x86_32/var/run/l4linux/genode <build-dir>/foc_x86_32/var/run/l4linux/fiasco <build-dir>/foc_x86_32/var/run/l4linux/boot/grub <build-dir>/foc_x86_32/var/run/l4linux/boot/isolinux <build-dir>/foc_x86_32/var/run/l4linux/boot/bender <build-dir>/foc_x86_32/var/run/l4linux/boot/grub/menu.lst contains following things timeout 0 default 0 title Genode on Fiasco.OC kernel /boot/bender module /fiasco/bootstrap module /fiasco/fiasco -serial_esc module /fiasco/sigma0 module /genode/core module /genode/config module /genode/init module /genode/timer module /genode/kdb_uart_drv module /genode/l4linux module /genode/initrd.gz module /genode/ps2_drv module /genode/fb_drv module /genode/nic_drv module /genode/platform_drv module /genode/acpi_drv module /genode/report_rom vbeset 0x117 506070

2 2

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users