users July 2018

users@lists.genode.org

23 participants
26 discussions

foc without kernel debugger
by Johannes Kliemann 05 Jul '18

05 Jul '18

Hi all, I tried to use Fiasco.OC without the kernel debugger, respectively with the following config changes: > diff --git a/repos/base-foc/config/x86_64.kernel b/repos/base-foc/config/x86_64.kernel > index 07159da20d..8b8b1c8c50 100644 > --- a/repos/base-foc/config/x86_64.kernel > +++ b/repos/base-foc/config/x86_64.kernel > @@ -56,12 +56,7 @@ CONFIG_STACK_DEPTH=y > # CONFIG_IRQ_SPINNER is not set > # CONFIG_WATCHDOG is not set > CONFIG_SERIAL=y > -CONFIG_JDB=y > -CONFIG_JDB_LOGGING=y > -CONFIG_JDB_DISASM=y > -CONFIG_JDB_GZIP=y > -# CONFIG_JDB_ACCOUNTING is not set > -CONFIG_JDB_MISC=y > +# CONFIG_JDB is not set > CONFIG_POWERSAVE_GETCHAR=y > # CONFIG_WARN_NONE is not set > CONFIG_WARN_WARNING=y It compiles without any errors but the execution fails with multiple messages of: > KERNEL: Warning: nothing mapped: (Obj_space) from [0xffffffff81fd1e90/ffffffffffffffff]: 000000000000000a size: 0000000000000001 to [0xffffffff81fd1d80/ffffffffffffffff] Are there any further requirements to use foc without the kernel debugger? Regards, Johannes

3 3

Error with implementing custom IRQ session
by Harsha Sharma 05 Jul '18

05 Jul '18

Hello, I am trying to implement a custom irq session, using the RPC call functions from genode irq_session header files. The code is here : https://gist.github.com/hs256/e6a72788b7471316e04e242fbf4e82e4 Can anyone, please suggest what can be the reasons for this kind of error : "undefined reference to vtable and typeinfo" ? Thank you very much. Regards, Harsha Sharma

1 0

Checkpoint/restore of four specific capabilities
by Joos, Lukas 05 Jul '18

05 Jul '18

Dear Genode community, I am currently trying to extend a checkpoint/restore mechanism based on Fiasco.OC and Genode 16.08 that has been discussed on this mailinglist before. [1] [2] During my analysis of the existing code I was able to identify four capabilities that do not show up in the child's capability space after a restore: CAP1: Fiasco.OC GATE representing Genode::Rpc_entrypoint::_exit_cap CAP2: Fiasco.OC GATE representing Genode::Entrypoint::_signal_proxy_cap CAP3: Fiasco.OC IRQ representing Genode::Signal_source_rpc_object::_blocking_semaphore (Fiasco.OC specific) CAP4: Fiasco.OC GATE representing "Capability<Constructor> constructor_cap" local to the Genode::Entrypoint::Entrypoint(Env &env) constructor scope Based on my current understanding I'd say that CAP4 is not needed after a component has been constructed. CAP1 may be needed when a component is destroyed and CAP2 and CAP3 are needed for the signalling subsystem to work correctly. Regarding the Fiasco.OC specific CAP3 there is also the problem that it has to be attached to the "signal handler" thread with a system call (l4_irq_attach). The current idea (which has also been discussed previously [3]) is to delegate the thread and IRQ capabilities to core, which then invokes the syscall with the translated kcap values. My questions are: 1) Which of those four capabilities actually need to be present in a restored child? 2) Do they have to be in the capability map? 3) Do they have to be in the capability space? 4) Does the memory where the Genode::Capability<RPC_INTERFACE> is stored inside the child component have to be altered after the restore? If you have any ideas on how to restore one or more of those capabilities I'd love to hear all about it. Thank you for your time. Sincerely, Lukas Joos [1] https://lists.genode.org/pipermail/users/2016-August/004703.html or https://sourceforge.net/p/genode/mailman/message/35322604/ [2] https://lists.genode.org/pipermail/users/2016-December/004863.html or https://sourceforge.net/p/genode/mailman/message/35529306/ [3] https://lists.genode.org/pipermail/users/2017-November/005611.html

1 1

Testing sculpt on different hypervisor
by andreas.baumann＠keemail.me 05 Jul '18

05 Jul '18

Sculpt early adopter here. I tested Sculpt on VirtualBox with the official ova. It works but when trying to boot the vbox5-tc-browser it fails. I guess the reason is VirtualBox not supporting nested virtualization. Some other hypervisors, however, do though I'm not sure if Sculpt works there and if nested virtualization would work in this specific case. I had no luck with booting the image on KVM. I see the genode splash screen and also serial output depending on the VM configuration but it never reaches the initial Sculpt desktop. If it is possible to use other hypervisors could maybe someone post a working configuration? Is nested virtualization possible with Sculpt? Best regards, Andreas

3 2

Need help understanding packaging
by Guido Witmond 04 Jul '18

04 Jul '18

Hi Genodians, I've got this little project for a web service[1]. It works as a run-script and even boots as disk image on my intel box. *) It's fast. It serves a file at 40MBytes/second and only 5 ms latency between connecting to it and the first bytes on a Gbps LAN. Although that file was served from memory, half the speed of the LAN without any tuning is promising! But I get stuck with making it into a depot-package. I lack the clarity of what the next steps are. My subgoals: 1. make it a depot-package; 2. make it configurable by user; 3. replace ragel parser[2] with hammer library[3] as a dependency. How could I proceed with these steps? Is there an example run-script to package conversion I could follow? Cheers, Guido. 1: github.com/gwitmond/feather 2: https://www.colm.net/open-source/ragel/ 3a: https://github.com/UpstandingHackers/hammer 3b: http://www.langsec.org/ *) Sculpt runs fine on AMD's Ryzen too, except for SATA, virtualisation.

2 7

caution when updating acpica-tools on your Genode build infrastructure
by Pirmin Duss 03 Jul '18

03 Jul '18

Hello Genodeans We have recognized that acpica-tools that are newer than March 16. 2016 cause problem when building virtualbox5. This is due to the commit https://github.com/acpica/acpica/commit/f9a88a4c1cd020b6a5475d63b29626852a0… So be careful, when your distribution wants to update this package (we have encountered this on Debian testing, Debian unstable and ARCH so far). Best regards Pirmin

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users July 2018