users

users@lists.genode.org

3 participants
2323 discussions

Starting TZ_VMM on imx6
by Swaminathan Ramesh 10 Dec '14

10 Dec '14

Hello all, I am currently working on TZ_VMM on the imx6 platform. Though the majority of the code is extremely similar to the imx53 port that is already present, there is a problem that arises due to the TrustZone Protection Controller for imx6. The address for the TZPC for imx6 is different from the TZPC of imx53 and the Versatile Express ports that already exist in Genode, so these addresses do not work when I used them. The TZPC base address for imx6 is not provided in the Freescale documentation or on the ARM infocenter. I was wondering if you guys can give me any ideas on how to go about solving this issue. Thanks, -- Best regards, Swaminathan Ramesh

3 4

Genode isn't finding IDE Drive
by Nobody III 07 Dec '14

07 Dec '14

My computer has a SATA hard drive which is only accessible through the IDE interface (so AHCI doesn't work). Unfortunately, Genode doesn't detect it. I mentioned this problem earlier, but now I have a null modem cable to get the debugging info. Here is the full serial output: Welcome to Fiasco(ia32)! DD-L4(v2)/ia32 microkernel (C) 1998-2009 TU Dresden Rev: rUNKNOWN compiled with gcc 4.7.2 for Intel Pentium [] Performance-critical config option(s) detected: CONFIG_ASSEMBLER_IPC_SHORTCUT is off CONFIG_NDEBUG is off CONFIG_NO_FRAME_PTR is off CONFIG_FINE_GRAINED_CPUTIME is on Enabling special fully nested mode for PIC Using the PIT (i8254) on IRQ 0 for scheduling SERIAL ESC: Using serial hack in slow timer handler. SERIAL ESC: No IRQ for specified uart port. Using serial hack in slow timer handler. Absolute KIP Syscalls using: Sysenter CPU: GenuineIntel (6:17:7:0) Model: Pentium III (Tanner) at 2341 MHz 128 Entry I TLB (4K pages) 272 Entry D TLB (4K pages) 48 Entry D TLB (4M pages) 32 KB L1 I Cache (8-way associative, 64 bytes per line) 32 KB L1 D Cache (8-way associative, 64 bytes per line) 2048 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 20480 bytes (5 pages) Calibrating timer loop... done. SIGMA0: Hello! KIP @ 1000 Found Fiasco: KIP syscalls: yes allocated 4KB for maintenance structures KIP @ 1000 magic: 4be6344c version: 87004444 sigma0 esp: 002da72c eip: 00104558 sigma1 esp: 00000000 eip: 00000000 root esp: 00000000 eip: 010530dc MBI @ 69000 mod[3] [16fc000,16fc997) config mod[4] [16fd000,1aa35c4) init mod[5] [1aa4000,1dd1263) timer mod[6] [1dd2000,214c903) rom_blk mod[7] [214d000,24c32e5) part_blk mod[8] [24c4000,293d218) rump.lib.so mod[9] [293e000,31a781f) rump_fs.lib.so mod[10] [31a8000,3297fa8) rump_fs mod[11] [3298000,3648ca5) ld.lib.so mod[12] [3649000,399817e) fs_rom mod[13] [3999000,3d5c7d7) pci_drv mod[14] [3d5d000,41771d6) fb_drv mod[15] [4178000,4498be3) ps2_drv mod[16] [4499000,484e3b7) acpi_drv mod[17] [484f000,4c79654) atapi_drv mod[18] [4c7a000,4fe892e) ahci :ram_alloc: Allocator 1075e78 dump: Block: [00064000,0006401c) size=0000001c avail=00000000 max_avail=00000000 Block: [0006401c,00064038) size=0000001c avail=00000000 max_avail=00000000 Block: [00064038,00064054) size=0000001c avail=00000000 max_avail=00000000 Block: [00064054,00064070) size=0000001c avail=00000000 max_avail=00000000 Block: [00064070,0006408c) size=0000001c avail=00000000 max_avail=00000000 Block: [0006408c,000640a8) size=0000001c avail=00000000 max_avail=00000000 Block: [000640a8,000640c4) size=0000001c avail=00000000 max_avail=00000000 Block: [000640c4,000640e0) size=0000001c avail=00000000 max_avail=00000000 Block: [000640e0,000640fc) size=0000001c avail=00000000 max_avail=69400000 Block: [000640fc,00064118) size=0000001c avail=00000000 max_avail=00000000 Block: [00064118,00064134) size=0000001c avail=00000000 max_avail=00000000 Block: [00064134,00064150) size=0000001c avail=00000000 max_avail=00000000 Block: [00064150,00069000) size=00004eb0 avail=00004eb0 max_avail=00034fe4 Block: [0006a000,0006a01c) size=0000001c avail=00000000 max_avail=00034fe4 Block: [0006a01c,0009f000) size=00034fe4 avail=00034fe4 max_avail=00034fe4 Block: [0010a000,0010a01c) size=0000001c avail=00000000 max_avail=69400000 Block: [0010a01c,0010a038) size=0000001c avail=00000000 max_avail=00000000 Block: [0010a038,01000000) size=00ef5fc8 avail=00ef5fc8 max_avail=00ef5fc8 Block: [01087000,0108701c) size=0000001c avail=00000000 max_avail=69400000 Block: [0108701c,016fc000) size=00674fe4 avail=00674fe4 max_avail=00674fe4 Block: [04fe9000,40000000) size=3b017000 avail=3b017000 max_avail=69400000 Block: [50000000,b9400000) size=69400000 avail=69400000 max_avail=69400000 => mem_size=2778447872 (2649 MB) / mem_avail=2778447424 (2649 MB) :region_alloc: Allocator 1076fa8 dump: Block: [00002000,00064000) size=00062000 avail=00062000 max_avail=00062000 Block: [0009f000,0010a000) size=0006b000 avail=0006b000 max_avail=06c00000 Block: [b9400000,c0000000) size=06c00000 avail=06c00000 max_avail=06c00000 => mem_size=114085888 (108 MB) / mem_avail=114085888 (108 MB) :io_mem: Allocator 10762c4 dump: Block: [00000000,00001000) size=00001000 avail=00001000 max_avail=00001000 Block: [00002000,00064000) size=00062000 avail=00062000 max_avail=00062000 Block: [0009f000,0010a000) size=0006b000 avail=0006b000 max_avail=46bfffff Block: [b9400000,ffffffff) size=46bfffff avail=46bfffff max_avail=46bfffff => mem_size=1187831807 (1132 MB) / mem_avail=1187831807 (1132 MB) :io_port: Allocator 1076710 dump: Block: [00000000,00010000) size=00010000 avail=00010000 max_avail=00010000 => mem_size=65536 (0 MB) / mem_avail=65536 (0 MB) :irq: Allocator 1076b5c dump: Block: [00000000,00000010) size=00000010 avail=00000010 max_avail=00000010 => mem_size=16 (0 MB) / mem_avail=16 (0 MB) :rom_fs: Rom_fs 10773ec dump: Rom: [0214d000,024c32e5) part_blk Rom: [03649000,0399817e) fs_rom Rom: [016fc000,016fc997) config Rom: [04c7a000,04fe892e) ahci Rom: [04499000,0484e3b7) acpi_drv Rom: [0484f000,04c79654) atapi_drv Rom: [03d5d000,041771d6) fb_drv Rom: [00001000,00002000) l4v2_kip Rom: [016fd000,01aa35c4) init Rom: [03298000,03648ca5) ld.lib.so Rom: [024c4000,0293d218) rump.lib.so Rom: [04178000,04498be3) ps2_drv Rom: [03999000,03d5c7d7) pci_drv Rom: [01dd2000,0214c903) rom_blk Rom: [0293e000,031a781f) rump_fs.lib.so Rom: [031a8000,03297fa8) rump_fs Rom: [01aa4000,01dd1263) timer :core ranges: Allocator 107940c dump: Block: [00064000,00069000) size=00005000 avail=00005000 max_avail=00005000 Block: [0006a000,0009f000) size=00035000 avail=00035000 max_avail=69400000 Block: [0010a000,40000000) size=3fef6000 avail=3fef6000 max_avail=3fef6000 Block: [50000000,b9400000) size=69400000 avail=69400000 max_avail=69400000 => mem_size=2838691840 (2707 MB) / mem_avail=2838691840 (2707 MB) Genode 14.08 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 2649 MB to init int main(): --- init created, waiting for exit condition --- [init] parent provides [init] service "ROM" [init] service "LOG" [init] service "CAP" [init] service "RAM" [init] service "RM" [init] service "CPU" [init] service "PD" [init] service "IRQ" [init] service "IO_PORT" [init] service "IO_MEM" [init] service "SIGNAL" [init] child "acpi" [init] RAM quota: 6127616 [init] ELF binary: acpi_drv [init] priority: 0 [init] provides service PCI [init] provides service IRQ [init] child "fb_drv" [init] RAM quota: 4030464 [init] ELF binary: fb_drv [init] priority: 0 [init] provides service Framebuffer [init] child "ps2_drv" [init] RAM quota: 884736 [init] ELF binary: ps2_drv [init] priority: 0 [init] provides service Input [init] child "atapi_drv" [init] RAM quota: 209551360 [init] ELF binary: atapi_drv [init] priority: 0 [init] provides service Block [init] child "timer" [init] RAM quota: 884736 [init] ELF binary: timer [init] priority: 0 [init] provides service Timer [init] child "part_blk" [init] RAM quota: 10321920 [init] ELF binary: part_blk [init] priority: 0 [init] provides service Block [init] child "rump_fs" [init] RAM quota: 8224768 [init] ELF binary: rump_fs [init] priority: 0 [init] provides service File_system [init] child "fs_rom" [init] RAM quota: 104693760 [init] ELF binary: fs_rom [init] priority: 0 [init] provides service ROM [init] child "init" [init] RAM quota: 1073577984 [init] ELF binary: init [init] priority: 0 [init -> acpi] available memory for ACPI 2048 kiB, for PCI_DRV 3644 kiB [init -> ps2_drv] Could not set defaults [init -> ps2_drv] Could not enable stream [init -> ps2_drv] Using keyboard with scan code set 1 (xlate). [init] child "timer" announces service "Timer" [init] child "ps2_drv" announces service "Input" [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_THREAS [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_VERBOE [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): _RUMPUSER_U [init -> acpi] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = uT [init -> acpi] MADT IRQ 0 -> GSI 2 flags: 0 [init -> acpi] MADT IRQ 9 -> GSI 9 flags: d [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_MEMLIT [init -> rump_fs] Asserting rump kernel 5028 KB of RAM [init -> atapi_drv] IDE 0 Device 0: none IRQ: 14 [init -> acpi] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = uG [init -> atapi_drv] IDE 0 Device 1: none IRQ: 14 [init -> acpi] MCFG BASE 0xf0000000 seg 00 bus 00-3f [init -> atapi_drv] IDE 1 Device 0: none IRQ: 15 [init -> atapi_drv] IDE 1 Device 1: none IRQ: 15 no RM attachment (READ pf_addr=0 pf_ip=100cb0f from 14.01) virtual void Genode::Signal_session_component::submit(Genode::Signal_context_cay [init -> rump_fs] BOOTSTRAP [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_NVNODS [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_BLKFAL [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_BLKSET [init -> acpi -> pci_drv] PCI driver started [init -> acpi -> pci_drv] Could not open file "pci_device_pd" [init -> acpi -> pci_drv] PCI device protection domain for IOMMU support is note [init -> acpi -> pci_drv] 00 BDF start 0, functions: 0x4000, physical base 0xf00 [init -> acpi] ACPI table format is supported - rewrite GSIs [init -> acpi] Rewriting 00:02.0 IRQ: 10 -> GSI: 16 [init -> acpi] Rewriting 00:1b.0 IRQ: 10 -> GSI: 16 [init -> acpi] Rewriting 00:1d.0 IRQ: 05 -> GSI: 23 [init -> acpi] Rewriting 00:1d.1 IRQ: 11 -> GSI: 19 [init -> acpi] Rewriting 00:1d.2 IRQ: 03 -> GSI: 18 [init -> acpi] Rewriting 00:1d.3 IRQ: 10 -> GSI: 16 [init -> acpi] Rewriting 00:1d.7 IRQ: 05 -> GSI: 23 [init -> acpi] Rewriting 00:1f.1 IRQ: 00 -> GSI: 18 [init -> acpi] Rewriting 00:1f.2 IRQ: 11 -> GSI: 19 [init -> acpi] Rewriting 00:1f.3 IRQ: 11 -> GSI: 19 [init -> acpi] Rewriting 01:00.0 IRQ: 11 -> GSI: 17 [init] child "acpi" announces service "PCI" [init] child "acpi" announces service "IRQ" [init -> fb_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t0 [init] child "fb_drv" announces service "Framebuffer" [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_MODULE [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): _RUMPUSER_E Quota exceeded! amount=28672, size=4096, consumed=28672 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes)

2 3

iwlwifi for 7260 card: DMA memory allocation fails
by Christian Menard 05 Dec '14

05 Dec '14

Hi everyone, First of all thanks for the great work on the new release, keep it up! I'm experimenting with the new iwlwifi driver on a device with 7260 card. I enabled support for this card as mentioned in the release notes and added the corresponding firmware file iwlwifi-7260-8.ucode. Unfortunately the driver is not working out of the box for this card. The problem breaks down to a failure during DMA memory allocation. Here an excerpt from wifi_drv's log: > Slab too large 131072 reqested 86032 cached 0 > dma alloc 81920 failed > Slab too large 131072 reqested 105428 cached 0 > dma alloc 101316 failed > .... > Slab too large 131072 reqested 86032 cached 0 > dma alloc 81920 failed > Slab too large 262144 reqested 175072 cached 0 > dma alloc 170960 failed I naively increased maximum slab size by setting SLAB_STOP_LOG2 in lxc_emul.cc to 20. Then failure changes to: > Failed to get slab for 262144 > dma alloc: 170960 failed So as it appears such a large slab cannot be allocated. Why is that? What would be the right way (tm) to resolve this issue? Thanks Christian

2 10

yacc, lxip and 14.11
by Vasily A. Sartakov 05 Dec '14

05 Dec '14

Hello. I have problem with building latest version of Genode: [@localhost dde_linux]$ make prepare make[1]: Entering directory `genode-14.11/repos/dde_linux' dde_linux update src/lib/usb/drivers/usb/host/dwc_otg dde_linux extract linux-3.14.5.tar.gz (usb) dde_linux extract linux-3.9.tar.gz (lxip) dde_linux extract linux-3.14.5.tar.gz (wifi) dde_linux extract libnl-3.2.25.tar.gz (libnl) dde_linux extract wpa_supplicant-2.2.tar.gz (wpa_supplicant) dde_linux generate libnl files yacc: e - line 9 of "src/lib/libnl/lib/route/pktloc_syntax.y", syntax error %locations ^ make[2]: *** [generate_libnl_files] Error 1 make[1]: *** [_install_in_port_dir] Error 2 make[1]: Leaving directory `genode-14.11/repos/dde_linux' [@localhost dde_linux]$ yacc -V yacc - 1.9 20130304 Version, syntax, something else? -- Vasily A. Sartakov sartakov@...104...

2 1

Dynamic Memory Management
by Nobody III 01 Dec '14

01 Dec '14

As far as I can tell, init will only allocate fixed amounts of memory to each process. Is there a way to allow each process as much memory as it needs up to a certain limit (e.g. 1G) without reserving excess memory for each process?

2 2

USB Wifi
by Nobody III 01 Dec '14

01 Dec '14

May I put in a request for USB wireless support? I know that it may take a lot of effort, but I would really like support for my USB Ralink RT2870/RT3070 wireless adapter. With wireless support and better IDE support, I will be well-equipped to begin porting software to genode.

2 2

Create VESA Modes
by Nobody III 29 Nov '14

29 Nov '14

Based on the readme for the VESA driver, my HD monitor won't work at full resolution in Genode. I had this same problem with Windows XP, which I was able to solve with DTDCalculator, a tool which let me create custom video modes. Since 1920x1080 was blacklisted (or something like that), I set the screen resolution to 1920x1081. Could functionality like this be added to Genode?

1 0

Netperf on RPI
by Mohammad Hamad 28 Nov '14

28 Nov '14

HI, while running Netperf on Raspberry PI and doing the TCP_STREAM from remote pc I got low throughput . when i tried to trace the communication using Wireshark i mentioned lot of TCP Re-transmission. about 20% of the packet re transmitted, Is that normal? best. Mohammad

1 0

Linux as a guest OS of bare-HW on i.MX6 in the Normal World
by Mahdi Aichouch 28 Nov '14

28 Nov '14

Hello, I have a running version of the bare-hw (no trustzone) on the ARM Cortex-A9 Freescale i.MX6 Sabre SD board. I would like to test a Linux as a guest OS on top of bare-hw and the VMM in the Normal World. Does anyone have tried to test this configuration? Is it possible to share the steps to build such a working configuration? Thank you very much in advance. Best regards, Mahdi

2 2

Announcement: Genode OS Framework version 14.11 released
by Christian Helmuth 28 Nov '14

28 Nov '14

With this year's November release we close one of the last functional gaps to employ Genode as day-to-day operating system on modern laptops. The support for Intel WiFi hardware incl. WPA comes as a component that just snaps in place beside out support for wired NICs. The second major improvement is the new scheduler for or custom HW kernel that supports trading of CPU resources among Genode subsystems, similarly to how memory is managed on Genode. The highlights of this release are - Intel wireless stack - New CPU scheduler for the base-hw kernel - New dynamic linker - VirtualBox version 4.3.16 running on NOVA - Updated Seoul VMM running on NOVA - New GUI-architecture components - Improved integration of Qt5 - Extended Raspberry-Pi driver support - Tool-chain update to GCC 4.7.4 The whole story is available in the release documentation http://genode.org/documentation/release-notes/14.11 Happy hacking -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users