users

users@lists.genode.org

3 participants
2323 discussions

Re: Roadmap 2015
by unknown＠example.com 14 Jan '15

14 Jan '15

I've been looking from outside the fence what's happening inside the Genode garden with great interest. To me, great incentives to step inside would be: * toolchain with full Ada support * touch and pen input device support * a structured handbook (PDF, EPUB) * a bootable live system image suitable for development As concerns platform support, it would be nice to have Genode running on cheap hardware. Particularly interesting to me would be: * Allwinner A20 SoC support for development boards * Freescale i.MX 507 support for eBook readers I should detail some further thoughts in a later mail. There's still a lot to say, but Genode in general seems to be on a good path. Not directly related to the software itself, is there a way to display the mailing list archive in a nicer look? If I remember correctly, it was around the time of the move to github or some other infrastructural change, that the old view was changed. I think, back then, the theme was similar to the look of http://www.mail-archive.com/fpc-devel@...283.../. It would be great, if the old look could be restored.

3 2

Mailing-list issues
by Christian Helmuth 13 Jan '15

13 Jan '15

Hello all, if I'm lucky this mail reaches the list. Again, we experience mailing-list issues at Sourceforge. Unfortunately, we don't get any response from SF staff on our reported issue https://sourceforge.net/p/forge/site-support/9440/ So, please be patient and (like me) cross fingers that we get back operational soon. Regards -- 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

2 1

bare-hw trustzone on the Freescale i.MX 6 Sabre SD board
by Mahdi Aichouch 13 Jan '15

13 Jan '15

Hello, I am trying to port the bare-hw trustzone to the Freescale i.MX 6 quad-core Sabre SD board. I started from the source code given in this repository: https://github.com/decaprox/genode I adapted the TSC-380 driver from the versatile express version as a TZASC to the i.MX-6 board. At this moment, I just configure the existing TSC-380 with the right base address, but I did not yet configured it to secure any memory region. Also, I did not yet used the CSU that was implemented for the i.MX53 to secure any device. I partitioned the the memory space into two parts: 0x1000 0000 - 0x2000 0000 : as a secure memory space 0x2000 0000 - 0x4000 0000 : as a non secure memory space I implemented a small kernel in order to test the implementation. My simple kernel is just an assembly code that call C function, that prints a message on the serial port. I get an error after running the run/vmm test case. Here are the debug messages that I get void Kernel::trustzone_initialization(Kernel::Pic*): --- IMX6 trustzone INIT --- Core memory allocator --------------------- Allocator 102d46c0 dump: Block: [10000000,1000001c) size=0000001c avail=00000000 max_avail=00000000 Block: [1000001c,10000038) size=0000001c avail=00000000 max_avail=00000000 Block: [10000038,10000054) size=0000001c avail=00000000 max_avail=1fd28000 Block: [10000054,10000070) size=0000001c avail=00000000 max_avail=00000000 Block: [10000070,1000008c) size=0000001c avail=00000000 max_avail=00000000 Block: [1000008c,10001000) size=00000f74 avail=00000f74 max_avail=1fd28000 Block: [102d8000,30000000) size=1fd28000 avail=1fd28000 max_avail=1fd28000 => mem_size=533893120 (509 MB) / mem_avail=533892980 (509 MB) IO memory allocator ------------------- Allocator 102d4b1c dump: Block: [00000000,02020000) size=02020000 avail=02020000 max_avail=02020000 Block: [02024000,020d0000) size=000ac000 avail=000ac000 max_avail=0df2c000 Block: [020d4000,10000000) size=0df2c000 avail=0df2c000 max_avail=0df2c000 Block: [100ec000,100f0000) size=00004000 avail=00004000 max_avail=20000000 Block: [20000000,40000000) size=20000000 avail=20000000 max_avail=20000000 => mem_size=805289984 (767 MB) / mem_avail=805289984 (767 MB) IRQ allocator ------------------- Allocator 102d53d4 dump: Block: [00000000,0000003a) size=0000003a avail=0000003a max_avail=0000003a Block: [0000003b,00000058) size=0000001d avail=0000001d max_avail=000003a7 Block: [00000059,00000400) size=000003a7 avail=000003a7 max_avail=000003a7 => mem_size=1022 (0 MB) / mem_avail=1022 (0 MB) ROM filesystem -------------- Rom_fs 102d5814 dump: Rom: [100a5000,100a5358) linux Rom: [1004f000,1007fedc) init Rom: [100a7000,100a71ef) config Rom: [100a6000,100a601f) initrd.gz Rom: [10080000,100a409c) vmm int main(): --- create local services --- int main(): --- start init --- int main(): transferred 508 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 "vmm" [init] RAM quota: 3932160 [init] ELF binary: vmm [init] priority: 0 [init -> vmm] Start virtual machine [init -> vmm] Curious exception occurred [init -> vmm] Cpu state: [init -> vmm] r0 = 00000000 [init -> vmm] r1 = 000008e0 [init -> vmm] r2 = 20000100 [init -> vmm] r3 = 00000000 [init -> vmm] r4 = 00000000 [init -> vmm] r5 = 00000000 [init -> vmm] r6 = 00000000 [init -> vmm] r7 = 00000000 [init -> vmm] r8 = 00000000 [init -> vmm] r9 = 00000000 [init -> vmm] r10 = 00000000 [init -> vmm] r11 = 00000000 [init -> vmm] r12 = 00000000 [init -> vmm] sp = 00000000 [init -> vmm] lr = 00000000 [init -> vmm] ip = 20000100 [init -> vmm] cpsr = 00000093 [init -> vmm] sp_und = 00000000 [init -> vmm] lr_und = 00000000 [init -> vmm] spsr_und = 00000000 [init -> vmm] sp_svc = 00000000 [init -> vmm] lr_svc = 00000000 [init -> vmm] spsr_svc = 00000000 [init -> vmm] sp_abt = 00000000 [init -> vmm] lr_abt = 00000000 [init -> vmm] spsr_abt = 00000000 [init -> vmm] sp_irq = 00000000 [init -> vmm] lr_irq = 00000000 [init -> vmm] spsr_irq = 00000000 [init -> vmm] sp_fiq = 00000000 [init -> vmm] lr_fiq = 00000000 [init -> vmm] spsr_fiq = 00000000 [init -> vmm] exception = reset virtual void Genode::Signal_session_component::free_context(Genode::Signal_context_capability): Not implemented Note: The file linux and initrd.gz showed here are not real. I named my simple kernel as linux, and the initrd.gz file is an empty file. The VMM version I am using loads an elf binary kernel. I attached the assembly file of my simple kernel. From the dump of the CPU state, we can see that the IP register shows the first instruction of the kernel, which apparently generates an exception. Could someone tell me how to track down the source of the error and help me to debug it. Thanks very much in advance. Kind regards, Mahdi

5 14

run/ahci doesn't work in qemu
by Nobody III 12 Jan '15

12 Jan '15

The run script run/ahci freezes in qemu, on all kernels I have tried. Is this an ACPI issue, or is it something else?

2 2

Nix and Noux
by unknown＠example.com 10 Jan '15

10 Jan '15

Hello, I'd like some advice on the Nix port. Much of the user inteface side of Nix is Perl scripts, is Perl known not to work with Noux at the moment, or has it just not been ported? If Perl not available, I could just remove the Perl stuff the noux-pkg build process. The Perl stuff is just frontends, and we really don't need them to create packages, maybe if we were managing a persistant Noux setup, but that would be best done with stacked archives managed outside Noux. I would think the other possibility is to come up with a native Nix that creates its own Noux environment for build processes. Basically the requirements of Nix are traversing a readonly filesystem to evaulate expressions, a temporary enviroment and filesystem for building outputs, and a filesystem for storing outputs. There is also a database for storing dependency information but I think that can be overlooked for now. A hopefully easier question is assuming I get something working in Noux right now, what is the best way to write out files generated during a Genode run? Emery

2 1

failure running seoul-genode run script
by Tim Newsham 10 Jan '15

10 Jan '15

When trying to run seoul-genode I get errors that seem to loop forever. The normal "printf" run script runs fine, just not from within seoul. Some output is shown below with a full log at http://pastebin.com/sPsWJ7X5 . I also tried running seoul-kernelbuild and saw similar failures, but without the looping behavior. The failures seem to happen in seoul itself. [init -> seoul] VMM: reset CPU from 7 mtr_in effff [init -> seoul] VMM: > bool VirtualBiosMultiboot::receive(MessageBios&) rip 19 ilen 3 cr0 10 efl 2 [init -> iso9660] cache hit for file /hypervisor [init -> seoul] VMM: module 0 start a800000+10d000 cmdline /hypervisor iommu serial [init -> iso9660] cache hit for file /genode/core [init -> seoul] VMM: module 1 start a802000+cf000 cmdline core [init -> iso9660] cache hit for file /genode/config [init -> seoul] VMM: module 2 start a8d2000+1000 cmdline config [init -> iso9660] cache hit for file /genode/init [init -> seoul] VMM: module 3 start a8d4000+6d000 cmdline init [init -> iso9660] cache hit for file /genode/test-printf [init -> seoul] VMM: module 4 start a942000+4d000 cmdline test-printf [init -> seoul] VMM: [0] VMM: unsupported rdmsr 1 at a06ff000 [init -> seoul] Logging::vprintf not implemented [init -> seoul] VMM: reset CPU from 7 mtr_in effff -- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com

2 1

Serial Output on RaspberryPI
by Reinier Millo Sánchez 10 Jan '15

10 Jan '15

Hi Genode community I'm testing GenodeOS on the RaspberryPI. I have compiled and tested some examples using a modified QEMU emulator and real hardware. I'm trying to catch the serial output on real hardware. To catch the serial output, i'm using an Arduino bridge to read the serial output from RaspberryPI and send it to my computer. I have built a level shifter to transform the RaspberryPI 3.3v in 5v. I'm using the UART TX pin (GPIO 8) to get the serial output. When i have tested the examples, can't get the serial output on TX pin. Who can i get the serial output from RaspberryPI? Best regards -- Lic. Reinier Millo SÃ¡nchez Centro de Estudios de InformÃ¡tica Universidad Central "Marta Abreu" de Las Villas "antes de discutir ... respira; antes de hablar ... escucha; antes de escribir ... piensa; antes de herir ... siente; antes de rendirte ... intenta; antes de morir ... vive"

4 5

failure with run/noux_net_openssh_interactive
by Tim Newsham 09 Jan '15

09 Jan '15

Hi, I wanted to try out the ipxe networking (I'm not entirely sure if my NIC is even supported) and I ran the run/noux_net_openssh_interactive configuration on my device and got an error. I got a lot of these messages: [init -> nic_drv] --- get MAC address 00:22:68:14:68:b2 [ 0] DMAR:0xffffffff810210e8 FRR:0 FR:0x2 BDF:0:19:0 FI:0x02c00000 [ 1] Killed EC:0xffffffff83387280 SC:0x0 V:0xe CS:0x8 EIP:0xffffffff81008918 CR2:0x7400061a8 ERR:0x0 (#PF (kernel)) [ 0] Killed EC:0xffffffff83387040 SC:0x0 V:0xe CS:0x8 EIP:0xffffffff81008918 CR2:0x7400061a8 ERR:0x0 (#PF (kernel)) [ 1] Killed EC:0xffffffff83387280 SC:0x0 V:0xe CS:0x8 EIP:0xffffffff81008918 CR2:0x7400061a8 ERR:0x0 (#PF (kernel)) The full serial output can be seen at http://pastebin.com/haT63pCv The NIC itself is: Ethernet controller [0200]: Intel Corporation 82567LM Gigabit Network Connection [8086:10f5] (rev 03) Is this due to hardware incompatibility or something else? -- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com

3 3

run/wifi on intel 5100
by Tim Newsham 08 Jan '15

08 Jan '15

The wifi driver seems to work just fine on intel 5100 cards with the tweak suggested in the latest release notes. I just had to add an entry to drv.c for the card, and then make some tweaks to the wifi.run script. I also added the firmware for my card (not sure if it used it). Note: I couldnt find the required "bin/iwlwifi-6000-6.ucode" file and just copied "bin/iwlwifi-6000-4.ucode" instead. The resulting image ran fine, obtained a dhcp lease, and served up a page over HTTP, as expected. --- orig-drv.c 2015-01-08 12:32:05.274635841 -1000 +++ ./contrib/dde_linux-7f4e92802b6293f4816c0f366111b554109eec99/src/lib/wifi/drivers/net/wireless/iwlwifi/pcie/drv.c 2015-01-08 11:45:11.582662676 -1000 @@ -81,6 +81,7 @@ {IWL_PCI_DEVICE(0x4238, 0x1111, iwl6000_3agn_cfg)}, /* x201 */ {IWL_PCI_DEVICE(0x0085, 0x1311, iwl6005_2agn_cfg)}, /* x220 */ {IWL_PCI_DEVICE(0x088E, 0x4060, iwl6035_2agn_cfg)}, /* plumbum */ + {IWL_PCI_DEVICE(0x4237, 0x1211, iwl5100_agn_cfg)}, /* 5100 agn */ //#if IS_ENABLED(CONFIG_IWLDVM) // {IWL_PCI_DEVICE(0x4232, 0x1201, iwl5100_agn_cfg)}, /* Mini Card */ --- orig-wifi.run 2015-01-08 12:33:59.290634755 -1000 +++ ./repos/dde_linux/run/wifi.run 2015-01-08 12:27:53.666638242 -1000 @@ -70,9 +70,10 @@ </dir> <inline name="wpa_supplicant.conf"> network={ - id_str="foo" - ssid="foo" + id_str="SSSSSSSSS" + ssid="SSSSSSSSS" key_mgmt=NONE + wep_key0="XXXXXXXXXXXXX" #key_mgmt=WPA-PSK #psk="foobarfoobar" } @@ -126,6 +127,7 @@ install_config $config if {![file exists bin/iwlwifi-6000-6.ucode] || + ![file exists bin/iwlwifi-5000-5.ucode] || ![file exists bin/iwlwifi-6000g2a-6.ucode] || ![file exists bin/iwlwifi-6000g2b-6.ucode]} { puts "" @@ -154,6 +156,7 @@ iwlwifi-6000-6.ucode iwlwifi-6000g2a-6.ucode iwlwifi-6000g2b-6.ucode + iwlwifi-5000-5.ucode } lappend_if [have_spec acpi] boot_modules acpi_drv -- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com

1 0

AHCI (cont)
by Nobody III 08 Jan '15

08 Jan '15

Gmail is strugging with sending one or more of my emails, so I've created a new email thread. Basically, AHCI isn't working with part_blk for me. I am running genode (foc_x86_32) on real hardware. With rom_blk, part_blk works fine. With ahci, it freezes. I have found the line of code in part_blk relevant to the freezing to be the following part of partition_table.h: _session(Driver::driver().session()) Any help?

3 7

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users