users December 2014

users@lists.genode.org

25 participants
34 discussions

Linux Kernel For Normal World
by chirag garg 18 Dec '14

18 Dec '14

Hi I want to run Linux Kernel in the Normal World on the top of Genode base-hw kernel for imx6 platform. Can you provide some guidance how to start doing this ? Thanks in advance, Regards Chirag

1 0

AHCI
by Nobody III 16 Dec '14

16 Dec '14

Is the Genode AHCI driver supposed to announce service "Block"? I've seen the AHCI test script, but it fails. Is there any scenario in which the driver is known to work?

2 2

tz_vmm : VM access a address which isn't allowed
by chirag garg 16 Dec '14

16 Dec '14

Hi all, I am trying to run *tz_vmm* script on the *imx6 platform*. In which I have tried to put Genode (without trustzone) OS image instead of linux image as a guest OS which is configured according to normal world. we changed the CSU also according to imx6 security manual. So now we are getting the following error : Starting kernel ... kernel initialized Genode 14.08 int main(): --- create local services --- Core virtual memory allocator --------------------- Allocator 101318e4 dump: Block: [00001000,00002000) size=00001000 avail=00000000 max_avail=00000000 Block: [00002000,00003000) size=00001000 avail=00000000 max_avail=00000000 Block: [00003000,00004000) size=00001000 avail=00000000 max_avail=ef9c1000 Block: [00004000,00005000) size=00001000 avail=00000000 max_avail=00000000 Block: [00005000,00006000) size=00001000 avail=00000000 max_avail=00000000 Block: [00006000,10001000) size=0fffb000 avail=0fffb000 max_avail=ef9c1000 Block: [1062f000,ffff0000) size=ef9c1000 avail=ef9c1000 max_avail=ef9c1000 => mem_size=4288417792 (4089 MB) / mem_avail=4288397312 (4089 MB) RAM memory allocator --------------------- Allocator 10130888 dump: Block: [10000000,10001000) size=00001000 avail=00000000 max_avail=00000000 Block: [1062f000,10630000) size=00001000 avail=00000000 max_avail=00000000 Block: [10630000,10631000) size=00001000 avail=00000000 max_avail=00000000 Block: [10631000,10632000) size=00001000 avail=00000000 max_avail=1f9cd000 Block: [10632000,10633000) size=00001000 avail=00000000 max_avail=00000000 Block: [10633000,30000000) size=1f9cd000 avail=1f9cd000 max_avail=1f9cd000 => mem_size=530391040 (505 MB) / mem_avail=530370560 (505 MB) IO memory allocator ------------------- Allocator 1013294c dump: Block: [00000000,00a00000) size=00a00000 avail=00a00000 max_avail=00a00000 Block: [00a02000,020d0000) size=016ce000 avail=016ce000 max_avail=016ce000 Block: [020d4000,021c0000) size=000ec000 avail=000ec000 max_avail=20000000 Block: [021c1000,021e8000) size=00027000 avail=00027000 max_avail=00027000 Block: [021ec000,10000000) size=0de14000 avail=0de14000 max_avail=20000000 Block: [30000000,50000000) size=20000000 avail=20000000 max_avail=20000000 => mem_size=805261312 (767 MB) / mem_avail=805261312 (767 MB) IRQ allocator ------------------- Allocator 101339a8 dump: Block: [00000000,00000400) size=00000400 avail=00000400 max_avail=00000400 => mem_size=1024 (0 MB) / mem_avail=1024 (0 MB) int main(): --- start init --- int main(): transferred 505 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 [init -> tz_vmm] *Vm tried to access 30008040 which isn't allowed* [init -> tz_vmm] Cpu state: [init -> tz_vmm] Register Virt Phys [init -> tz_vmm] --------------------------------- [init -> tz_vmm] r0 = 00000000 [00000000] [init -> tz_vmm] r1 = 00000eb9 [00000000] [init -> tz_vmm] r2 = 30000100 [00000000] [init -> tz_vmm] r3 = 00000000 [00000000] [init -> tz_vmm] r4 = 00000000 [00000000] [init -> tz_vmm] r5 = 00000000 [00000000] [init -> tz_vmm] r6 = 00000000 [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 = 30008000 [00000000] [init -> tz_vmm] cpsr = 00000093 [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 = 00000000 [00000000] [init -> tz_vmm] lr_svc = 00000000 [00000000] [init -> tz_vmm] spsr_svc = 00000000 [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 = 112a1041 [init -> tz_vmm] ttbr1 = 93a2c043 [init -> tz_vmm] ttbrc = 00000000 [init -> tz_vmm] dfar = 00000000 [00000000] [init -> tz_vmm] *exception = data_abort* [init -> tz_vmm] *Could not handle data-abort will exit!* [init -> tz_vmm] *Destructing undissolved signal context* I divided the RAM into two portions: 0x10000000-0x30000000 for secure world and 0x30000000-0x50000000 for Normal world. After VM start, we are getting "*VM tried to access 30008040 which isn't allowed" *error. Also, tried to compile the image by changing this address to 0x10001000 in the file spec_hw_imx6.mk file (for the normal world OS image). We get the same error as above but only with the memory address changed in the error message. Kindly let us know the possible reasons behind getting this error. Thanks in advance. Regards Chirag Garg IIT Madras , Rise Lab

2 3

Simple test kernel for the non-secure world
by Mahdi Aichouch 16 Dec '14

16 Dec '14

Hello, I am trying to test the bare-hw tz_vmm on i.mx6. >From the article about Genode and trustzone, I read the that there is a simple test kernel that was used test the switch from the normal world to secure world. Is this simple test kernel available somewhere? Thanks in advance. Best regards, Mahdi

2 1

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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users December 2014