users

users@lists.genode.org

2285 discussions

Re: ld.lib.so
by Franc sylvester 03 Jan '15

03 Jan '15

Hi all, Thanks Norman, On Fri, Jan 2, 2015 at 5:13 PM, Norman Feske <norman.feske@...1...> wrote: > Hi Franc, > > thank you for trying out Genode! > > > I was trying to run simple run script printf and following is the output > : > > > > kernel initialized > > Genode 14.11 > > int main(): --- create local services --- > > int main(): --- start init --- > > int main(): transferred 509 MB to init > > int main(): --- init created, waiting for exit condition --- > > [init] Could not open file "ld.lib.so <http://ld.lib.so>" > > [init -> test-printf] -1 = -1 = -1 > > [init] virtual void Genode::Child_policy::exit(int): child exited with > > exit value 0 > > > > As i read "Could not open file ld.lib.so <http://ld.lib.so>" is not a > > error. But i want to demonstrate some example which will not give me > > this error message. > > > > Could you help me to understand this ld.lib.so <http://ld.lib.so> > scenario? > > when started, init tries to obtain the binary of the dynamic linker as a > ROM session. In the simple printf scenario, however, no dynamically > linked binaries are used. So the dynamic linker is not present in the > boot image. The easiest way to silence the message would be to add the > dynamic linker (ld.lib.so) to the boot image by adding the file name to > the 'build_boot_image' step in the run script. > > so I need to add the following in the run script build_boot_image "core init ld.lib.so test-printf",Is it right ? > However, because your scenario does not rely on it, the dynamic linker > is not built automatically. So you'd need to build at least one target > that depends on a shared library. For example, 'test/ldso'. > > As I am new to Genode, I am not able to locate and run "make test/ldso". Actually, I am working base-hw kernel. Can some one help me in that ? Btw, for questions like your's, let me recommend you to post on our > mailing list. This way, you may get assistance from more people than > just me. Also the discussion might be helpful for other people who might > stumble over the same problem in the future. > > Oh yeah, Actually Previously my mails was not delivered in the Genode mailing list, that's why i send you personally. I think, Now this problem has been resolved. > 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 > Regards Franc

2 1

Roadmap 2015
by Norman Feske 03 Jan '15

03 Jan '15

Hello everybody, with New Year in sight, it is time to make up our minds regarding the plans for 2015. Everyone of you is invited to suggest directions that you find worthwhile to pursue - or even better - share your concrete plans with us. I intend to finalize the road map for 2015 by mid of January. Personally, I have three ambitions, namely the use of Genode as general-purpose OS, the base-hw kernel, and the seL4 kernel. Let me briefly revisit each of them. Genode as general-purpose OS ---------------------------- We made big steps for pursuing Genode as general-purpose OS on x86-based platforms. I'd particularly like to highlight the following achievements: * The use of Rump kernels as file-system providers * VirtualBox with support for shared folders and guest networking * Intel wireless stack * New GUI stack That said, even though we are proud about the progress, we are still not there yet. So what keeps us back? I think that the answer is actually not technical. My observation is that each of us developers used to concentrate on individual features or technical challenges. But the integration of sophisticated system scenarios was left to only a few of us. Such integration feats were mainly motivated by a particular project or by a presentation. In order to make Genode fit for regular use, we will first need to make the composing of advanced systems a habit for most of the regular developers. I'd like to keep the topic as first priority in 2015 but concentrate less on features (as I think the feature set for us developers is fairly complete) but more on looking at Genode in a holistic way. I would like to see the following things realized: * A system booting from USB storage, which contains a VirtualBox instance running a regular Linux-based OS besides native Genode components. A shared folder is to be used to bridge both worlds. We start out with working in the guest OS and then successively move functionalities over to the Genode world. Those functionalities are: * Editing text, e.g., using Vim in a Noux environment * Creating and starting Genode configurations on the fly * Using a web browser in Genode * Moving emails to the Genode world * Use the Genode tool chain * Using Git I expect that we will stumble over several small issues and inconveniences on our way, which gives us the right motivation to rectify those things. * A way to easily install and use pre-packaged Genode subsystems. I'd like to remove the burden to compile Qt5 + WebKit for everyone who wants to use a web browser on Genode. * Tools for looking at the system at runtime to identify performance hot spots. I'd love it identify strangely behaving components as easily as running 'top' on Linux. * A solid solution for platform drivers (supporting MSIs and the hot-plugging of devices). I.e., I'd like to access the content of a plugged-in USB stick without the need to reboot the machine. * The evolution of our capability-based desktop environment, driven by our actual requirements stemming from the daily use of Genode. The system should be fun to use and put the user in control at all times. * Making Genode components and libraries binary compatible across different kernels. I see this as a prerequisite to offer binary packages of Genode subsystems. The new dynamic linker introduced in Genode 14.11 is an important step. The next step is the unification of the Genode API across all kernels. Base-hw kernel -------------- In 2014, our base-hw kernel made the transformation from a research vehicle to a feasible base platform for Genode. The past year brought a huge jump in terms of performance, MP support, a clean internal structure, and a new scheduler. In 2015 it will eventually become product-quality software. The only missing element is the support for capability-based security, which is being worked on right now. For base-hw, my wish list looks as follows: * Capability-based security * Integration of our existing ARM virtualization research seL4 kernel ----------- I feel that the seL4 kernel and Genode could complement each other rather well. The use of seL4 as kernel would make Genode very appealing in application areas where both the kernel's formal verification and Genode's broad feature set are desired. From the perspective of the seL4 developers, Genode would represent the first true microkernel-based general-purpose OS running on their kernel. I would hope that, by supporting seL4 as kernel for Genode, we may create an incentive for both developer teams to start collaborating more closely. These are my thoughts. I am looking forward to your ideas and comments. 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

9 23

TrustZone Address Space Controller
by Franc sylvester 02 Jan '15

02 Jan '15

Hi all, I have two query to understand Genode basics. I am not able to understand the explanation given for Bitfield at line #140 in repos/base/include/util/register.h " Bitfields are read and written according to their range, so if we have a 'Bitfield<2,3>' and write '0b11101' to it only '0b101' (shiftet by 2 bits) is written." can any body explain me what it means for ? Stefan and Martin, I was trying to understand implemented TZASC driver in Genode for vea9x4 board. can you suggest me some sources which have information used in repos/os/src/server/tz_vmm/vea9x4/tsc_380.h Regards Franc

2 2

Re: Roadmap 2015
by unknown＠example.com 30 Dec '14

30 Dec '14

Hello everyone, I don't have suggestions for devs, but I would like to share my goals for 2015 and solicit some suggestions on how to prioritize my own work. This summer I started converting the Make build system to a Nix build system, which seemed dubious at times to even me, but I have reached a point where I think things will get exciting. I would like to emphasize that this isn't a criticism of the current system, I just find the properties of Nix very interesting and this is an effort to fold the Genode into the way I have been composing my legacy OS. I have not been modifying any Genode code, and I have no intentions of writing new components without Make rules. I have a few directions that I could and would like to go with this, and I'd like to know which path of investigation sounds most interesting to any of you. * Formally benchmark Nix performance against Make. * Generate binary packages using existing Nix continuous integration tools and Make rules for fetching them. * Adapt the Nix packages collection to build its existing packages for Noux. This similar to how packages may be built for Darwin or BSD, Â Â I would abort converting Make rules for anything not required for bootstrapping a Noux toolchain. * Work towards running virtualizing instances of NixOS, building the Genode host and the NixOS guest concurrently. I have had success related to virtualizing, I have managed to integrate my build expressions with the NixOS system expression on my host machine, installing a NOVA scenario to my boot partition and GRUB menu. One could obviously do this with a set of scripts calling make, but in this way the Genode components are treated as system dependencies just as my linux host would treat its system services. I think the next logical step in this line of thought would be to build my Linux host system as an image optimized for Seoul, but I am traveling at the moment and virtualizing Seoul scenarios has been slow going with only a single laptop. Emery (I apologize if this email does not thread properly.)[1]

3 4

Re: USB Armory - an interesting platform for Genode
by Rolf Sommerhalder 29 Dec '14

29 Dec '14

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hello list, Yesterday evening, one of the designers from Italy gave a talk about the project at 31C3. He mentioned Genode at least three times: Forging the USB armory Creating an open source secure flash-drive-sized computer http://media.ccc.de/browse/congress/2014/31c3_-_6541_-_en_-_saal_2_-_201412… https://www.youtube.com/watch?v=KKLnhmri8Cg Since, funding on CrowdSupply increased from 73% to currently 82% with 437 pledges. Also, I found the additional, external documentation by CKuethe interesting, such as dmesg output: https://github.com/ckuethe/usbarmory/wiki Seasons greetings, Rolf -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAEBAgAGBQJUoTagAAoJEEFJy0CVh/JsX0MH/22p5nRUjG7wWwxsyTCQdrdt nCcfaHtRvdH83qeIBl1OgrR6JgOj9nGs87XjOsFIh90ROmDEPm+amgOYHZl50v1q i5uJW5nRa/H+tvrf/W0TZqkTR0xrA627mhxmqjq+K5bYvODa9PN9LETcQ+EVuU57 NIaa6CqA1H/OdJsISlqT/t+pMnZcZ4hbEpxvnXofw9pGsN+6Gu9MWZPMWcVnP7MZ Mn2s2/qR+RqQhSN5NJU1ZMI0ajLQNj+QA9oGQowfX/X3HZLW7fZdlycdqtbvWMPr GH+AphcxXrCEYfpIdgrtnMtbBympyrh8ntSuJfBOdN1AmJWtRfWgwvVC6iW7X5s= =gA+d -----END PGP SIGNATURE-----

1 0

Mailing-list issues
by Christian Helmuth 29 Dec '14

29 Dec '14

Hello all, As you may have noticed Sourceforge had mailing-list during the last days. With a bunch of posts arriving this morning I hope the issue was fixed. See you in the other threads ;-) -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://genode.org/ · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

AHCI/part_blk
by Nobody III 27 Dec '14

27 Dec '14

I originally thought that the AHCI driver wasn't working, but my issue may be with the part_blk driver. The part_blk driver never starts, but AHCI announces service "Block". Any help?

2 13

Genode and GRUB2 on real PC hardware
by "Christian Böhme" 23 Dec '14

23 Dec '14

Hi all, yesterday seemed like a good day to give Genode another go, but this time for real, meaning not on QEMU but real hardware. Since the former try worked out-of-the-box last time, my assumption was that the same should apply to the latter. Alas, I failed horribly. Here's what I did (assume CROSS_DEV_PREFIX is appropriately set): make -C ⟨genode-dir⟩/repos/base-foc prepare make -C ⟨genode-dir⟩/repos/libports prepare PKG=x86emu ⟨genode-dir⟩/tool/create_builddir foc_x86_64 BUILD_DIR=⟨demo-build-dir⟩ uncommented REPOSITORIES += $(GENODE_DIR)/repos/libports in ⟨demo-build-dir⟩/etc/build.conf make -C ⟨demo-build-dir⟩ kernel make -C ⟨demo-build-dir⟩ run/demo Since I have no QEMU around and no immediate plans to install it, the latter will fail, of course. Then mkdir /boot/genode && cd /boot/genode cp ⟨demo-build-dir⟩/var/run/demo/genode/* . cp ⟨demo-build-dir⟩/var/run/demo/fiasco/* . cp ⟨demo-build-dir⟩/var/run/demo/boot/bender . where /boot is my grub's boot directory. Being on a vanilla Debian, the /boot/grub/grub.cfg can be extended by providing a /boot/grub/custom.cfg, which I derived from ⟨demo-build-dir⟩/var/run/demo/boot/grub/menu.lst Please see the attachment for its contents. Now, when booting, the actual module loading process seems to succeed (at least GRUB did not complain), but core ended up spouting ROM module "init" not present while attempting to construct object rom of type Rom_connection at ⟨genode-dir⟩/repos/base/src/core/main.cc:259. To me this implies that init isn't actually loaded. Anyone seen this before? Everything else being okay, I suspect there's something wrong with GRUB. Oh, and what's this ⟨demo-build-dir⟩/var/run/demo/boot/bender doing? It's a 32 bit executable even though anything else is 64 bit. Why is that? Cheers, Christian

3 3

Rpc argument for a binary array?
by unknown＠example.com 22 Dec '14

22 Dec '14

Hi, Is there a mechanism for passing an array of 8_bit register values in RPC calls when using base-hw? I see the Rpc_in_buffer class but that's designed for string arrays not arbitrary binary value arrays. The use case is for implementing an I2C server which has multiple clients each of which implements a specific device on the I2C bus. I2C supports any length of data transfer but practically I don't see more than a dozen bytes being transferred in one contiguous block. I'm using 14.11. Thanks, Bob Stewart Sent from my android device.

2 2

31C3
by Johannes Schlatow 19 Dec '14

19 Dec '14

Hey guys (particularly the German folks), just out of curiosity: Will anyone visit the 31C3 in Hamburg this year? Maybe we could have a chat then. Cheers Johannes

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users