users

users@lists.genode.org

6 participants
2306 discussions

Juno Development Platform and Genode
by Stefan Brenner 15 Jan '15

15 Jan '15

Hi guys, just a short question, are there any experiences to run Genode on top of the Juno ARM Development Platform (http://www.arm.com/products/tools/development-boards/versatile-express/juno… Best, Stefan

1 0

Genode at FOSDEM 2015
by Norman Feske 14 Jan '15

14 Jan '15

Hello again, I am happy to announce that there will be three Genode-related talks at FOSDEM this year: "Genode - OS security by design" Sunday 12:00 - 12:25 Security devroom (AW1.120) "Transplantation of VirtualBox to the NOVA microhypervisor" Sunday 14:20 - 15:00 Virtualization devroom (UD2.120) "Introducing a radically componentized GUI architecture" Sunday 15:30 - 16:15 Microkernel devroom (K.3.201) More information about the talks (including abstracts) are available at the FOSDEM website: https://fosdem.org/2015/schedule/speaker/norman_feske/ Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

Exploring Genode
by Norman Feske 14 Jan '15

14 Jan '15

[my third attempt to post this message on the mailing list...] Thanks Tim, for featuring Genode on your blog! http://thenewsh.blogspot.de/2015/01/exploring-genode.html I think that your assessment of our project is fairly accurate. Cheers Norman

1 0

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

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users