users

users@lists.genode.org

1 participants
2310 discussions

Unable to use csu_config.h to secure GPIO access from normal world
by Abhishek Kumar 08 Jun '17

08 Jun '17

Hello I am using genode trustzone code on imx53 board. AFAIU, following lines in csu_config.h are supposed to regulate the access from normal world: ``` namespace Csu_config { enum { SECURE_GPIO = 1, SECURE_ESDHC = 0, SECURE_UART = 0, SECURE_I2C = 1, }; }; ``` Though GPIO is set secure, I am still able to set direction and value of gpios from the linux running in normal world, on top of tz_vmm running in secure world. Should it not raise some exception? Where am I going wrong? Thanks Abhishek

2 1

Re: Genode OS Framework version 17.05 released
by Alexander Boettcher 07 Jun '17

07 Jun '17

Hello, On 06.06.2017 23:02, Chris Rothrock wrote: > The AMD issue aside, with 17.05 I can't get VirtualBox to work at all now. > I have tried clean download and compiles but after the boot process, the > VirtualBox module is now not displaying anything. I have tried with and > without the gui, VirtualBox 4 and 5, all with the same results on hardware > that was working with 16.08. may you please try [0], which fixes some configuration issues on 17.05 for virtualbox.run on native hardware for me. Tinycore runs fine for me with vbox4 and vbox5. Still, the adjusted quotas may be too low, depending on the hardware you use. Hope it helps. [0] https://github.com/alex-ab/genode/commit/5a1fbe0c31262273d07ae07c96fdd70de8… -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

2 1

VFS documentation
by Nobody III 07 Jun '17

07 Jun '17

I've been modifying my file manager to use the VFS library as its backend, but I'm not entirely sure how to use properly, and I haven't found much documentation on how to use it (especially how to write to files) asynchronously. Could someone please explain this, and ideally add it to the official documentation as well?

2 1

Depot Packages
by Nobody III 07 Jun '17

07 Jun '17

The new depot packaging system is great, but the current set of available packages is rather limited, especially when it comes to binary packages. I'd like this to change, and I'd be happy to be involved, but I don't know what to do, so could someone please answer the following questions: Are there plans to provide a complete set of pre-built packages (including for x86_64) to the online repo? How do I make my own repo publicly available? I have built most of the packages myself, and have published them locally, but I need to upload them. Can I get my own packages hosted on depot.genode.org,? If not, can you suggest where else I should publish them? How should I go about writing depot recipes for various ports (e.g. qt5)?

2 2

Genode OS Framework version 17.05 released
by Norman Feske 06 Jun '17

06 Jun '17

We just released the version 17.05 of the Genode OS Framework. According to our road map, this version is designated as a suitable basis for development branches to be maintained over a longer period of time. With this goal in mind, the release cycle was focused on wrapping up our great API renovation that we started of year ago, and on updating fundamental parts of the framework that we want to keep stable in the foreseeable future. But the release is also rich of interesting new features and improvements, just to name a few highlights: - New approach and tools for package management - Updated revision of the "Genode Foundations" book - Completion of Genode's API modernization - GNU compiler collection (GCC) 6.3 including Ada support - Qt5 updated to version 5.8 - Feature-complete VirtualBox 5.1.22 for NOVA - Nim programming language - Interpolated wall-clock times - New network-traffic and CPU-time monitoring tools - Muen separation kernel updated to latest version The official release documentation covers these and many more topic in great detail: http://genode.org/documentation/release-notes/17.05 Have fun with exploring the new release! 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

3 5

Data-abort exception while trying to boot skalk/linux imx-53 branch with genode trustzone
by Abhishek Kumar 06 Jun '17

06 Jun '17

Hello I am trying to run linux in normal world on genode trustzone. I have changed the run-script of genode to copy the uImage generated from skalk/linux's imx-53 branch instead of downloading (default). I am making uImage with following command: make uImage LOADADDR=0x70010000 while executing, genode stops after starting virtual machine with following error trace: ``` . . [init] child "tz_vmm" [init] RAM quota: 10203136 [init] ELF binary: tz_vmm [init] priority: 0 [init -> tz_vmm] Start virtual machine ... [init -> tz_vmm] Cpu state: [init -> tz_vmm] Register Virt Phys [init -> tz_vmm] --------------------------------- [init -> tz_vmm] r0 = 07000000 [00000000] [init -> tz_vmm] r1 = f801ff50 [00000000] [init -> tz_vmm] r2 = ffffffe4 [00000000] [init -> tz_vmm] r3 = 40002000 [00000000] [init -> tz_vmm] r4 = 00000000 [00000000] [init -> tz_vmm] r5 = 00000000 [00000000] [init -> tz_vmm] r6 = 000000ee [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 = 0040dfe8 [00000000] [init -> tz_vmm] cpsr = 60000093 [init -> tz_vmm] sp_und = 00000000 [00000000] [init -> tz_vmm] lr_und = 8000800c [00000000] [init -> tz_vmm] spsr_und = 00000093 [00000000] [init -> tz_vmm] sp_svc = f801ff4c [00000000] [init -> tz_vmm] lr_svc = 0040bc97 [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 = 00000000 [init -> tz_vmm] ttbr1 = 00000000 [init -> tz_vmm] ttbrc = 00000000 [init -> tz_vmm] dfar = 07000000 [00000000] [init -> tz_vmm] exception = data_abort [init -> tz_vmm] Could not handle data-abort will exit! ``` Initially I thought I might be giving wrong load address while making uImage, but it seems problem is not that. Can someone help me with what might be possibly going wrong? Thanks Abhishek

3 6

Cpu_Thread_Component quota exceeded
by Edinger, Stefan 04 Jun '17

04 Jun '17

Hi, we tried to extend the cpu_thread_component with some more members to get more information about the Threads. The Problem is that we get an "quota exceeded" error followed by an Out_of_memory Exception. After increasing the quota of the Cpu_thread_allocator to e.g. 2048 the Problem was gone. typedef Tslab<Cpu_thread_component, 2048> Cpu_thread_allocator; So the question is: Is there any reason why the Cpu_thread_allocator gets exactly 1024 Byte, or can we just increase the quota according to our needs? Thank You, Stefan Edinger

1 0

Tool chain instructions
by Johannes Kliemann 02 Jun '17

02 Jun '17

Hi, with the new toolchain, the compression has changed from bzip2 to xz. The toolchain instructions [1] still state to use > sudo tar xPfj genode-toolchain-<version>-<arch>.tar.bz2 This doesn't work anymore as `-j` requires bzip2 and fails with the following error: > bzip2: (stdin) is not a bzip2 file. > tar: Child returned status 2 > tar: Error is not recoverable: exiting now A fix would be omitting `-j`, resulting in > sudo tar xPf genode-toolchain-<version>-<arch>.tar.xz This is also safe since current versions of tar extract bzip2 without the usage of `-j`. Regards, JK [1]: https://genode.org/download/tool-chain

2 1

Re: Genode OS Framework version 17.05 released
by Nobody III 01 Jun '17

01 Jun '17

With this new release, can init provide child services to its siblings, or just to its children? On May 31, 2017 8:59 AM, "Norman Feske" <norman.feske@...1...> wrote: We just released the version 17.05 of the Genode OS Framework. According to our road map, this version is designated as a suitable basis for development branches to be maintained over a longer period of time. With this goal in mind, the release cycle was focused on wrapping up our great API renovation that we started of year ago, and on updating fundamental parts of the framework that we want to keep stable in the foreseeable future. But the release is also rich of interesting new features and improvements, just to name a few highlights: - New approach and tools for package management - Updated revision of the "Genode Foundations" book - Completion of Genode's API modernization - GNU compiler collection (GCC) 6.3 including Ada support - Qt5 updated to version 5.8 - Feature-complete VirtualBox 5.1.22 for NOVA - Nim programming language - Interpolated wall-clock times - New network-traffic and CPU-time monitoring tools - Muen separation kernel updated to latest version The official release documentation covers these and many more topic in great detail: http://genode.org/documentation/release-notes/17.05 Have fun with exploring the new release! 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 ------------------------------------------------------------ ------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main(a)lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main

2 1

Re: Golang on Genode: a follow-up
by Rolf Sommerhalder 31 May '17

31 May '17

Hello, At GopherCon 2016 [1, 2], Bernerd Schaefer presented AtmanOS [3, 4] which cross-compiles Go programs so that they interface/run directly on Xen hypervisor, e.g. as hypervisor-aware Unikernels, without requiring a Guest OS on virtualised environments. According to Bernerd, AtmanOS provides a microkernel, an implementation of Go's runtime, and standard library, all implemented natively in Go (3000 lines) with a little bit of Assembly (150 lines). >From AtmanOS' repo, I noticed that they have recently updated it's bootstrap code to the latest version of Go 1.8.1, so the project is still active. After following the threads about Golang on Genode and reviewing AtmanOS, I suspect that AtmanOS could facilitate bringing Go to Genode, for example by making AtmanOS target Virtualbox in addition to Xen (maybe not so elegant), or by adapting/replacing AtmanOS' microkernel with Genode, and porting the Go runtime, standard library and system packages that AtmanOS wrote in Go for Xen or its own microkernel, respectively (maybe preferable over Virtualbox). Am I reading too much into it? Would it be worth diving deeper into AtmanOS' sources? Any thoughts, comments? Thanks, Rolf [1] https://www.youtube.com/watch?v=F2Ls6xZdSrE [2] https://atmanos.org/talks/go-without-the-os-gophercon-2016 [3] https://atmanos.org/ [4] https://github.com/atmanos/atmanos

3 2

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users