users June 2017

users@lists.genode.org

19 participants
27 discussions

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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users June 2017