users

users@lists.genode.org

2357 discussions

SMP support for base-hw kernel
by Franc sylvester 13 Dec '14

13 Dec '14

Hi Is there SMP support in base-hw kernel? If so, how can we turn it off or on? Can modifying PROCESSORS variable in make file of base-hw/mk/ help us configure SMP? Thanks in Advance Regards Franc

2 1

tz_vmm on imx6
by chirag garg 13 Dec '14

13 Dec '14

Hi I am running tz_vmm script on imx6 platform and this is giving this output.. Starting kernel ... kernel initialized Genode 14.08 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 502 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open file "ld.lib.so" [init] parent provides [init] service "ROM" [init] service "RAM" [init] service "IRQ" [init] service "IO_MEM" [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: 3932160 [init] ELF binary: tz_vmm [init] priority: 0 [init -> tz_vmm] Start virtual machine After this it blocked infinitively. As we can see Virtual machine is started so what could be the problem here ? Thanks in Advance, Regards Chirag Garg IIT Madras , Rise Lab

1 0

CSU in IMX53
by Franc sylvester 12 Dec '14

12 Dec '14

Hi, I am not able to collect the particular bit information of peripheral devices connected in imx53 SoC from the imx53 reference manual. Can Any one suggest me some sources which have information used in repos/base-hw/src/core/include/spec/imx53/trustzone/csu.h Regards frank

2 1

set access permission for service object
by li94575 10 Dec '14

10 Dec '14

Hi, all Genode gives all the access permission for the object when it does capability mapping（I use fiasco.oc as the base platform）, like this: Capability_map::insert_map(int id, addr_t kcap) { ..... /* map the given cap to our registry entry */ l4_task_map(L4_BASE_TASK_CAP, L4_BASE_TASK_CAP, l4_obj_fpage(kcap, 0, L4_FPAGE_RWX), i->kcap() | L4_ITEM_MAP | L4_MAP_ITEM_GRANT); ..... } If I only give the reading permission for the object, How to perform permission checking on server side?

2 3

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

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users