users

users@lists.genode.org

2 participants
2342 discussions

Genode 12.11 on Ubuntu 64 bits: Could not open file "ld.lib.so" seems to cause black window
by Paul Dufresne 16 Jan '13

16 Jan '13

First, I did not search yet for issues showing this. It is just a ... "hey, that's seems wrong, anyone knows about this?". After my "make run/demo" on Linux Ubuntu 64 bits, I got a big black window, that was empty so I closed it. The log after compilation shows: Program app/launchpad/launchpad COMPILE launcher.o COMPILE launchpad_window.o COMPILE main.o LINK launchpad make[1]: Leaving directory `/home/paul/Bureau/Genode/genode-12.11/build.lx' genode build completed spawn ./core int main(): --- create local services --- int main(): --- start init --- int main(): transferred 79 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open file "ld.lib.so" [init -> launchpad] Could not open file "ld.lib.so" [init -> launchpad] Could not open file "config" [init -> launchpad] Could not obtain config file ^Cint main(): --- destroying init --- virtual void Genode::Core_parent::close(Genode::Session_capability): implement me, please destroy_server_socket_pair called for IPC server which should never happen context area detach from 0x2fe000 - not implemented int main(): --- core main says good bye --- virtual void Genode::Core_parent::close(Genode::Session_capability): implement me, please virtual void Genode::Core_parent::close(Genode::Session_capability): implement me, please expect: spawn id exp6 not open while executing "expect { -re $wait_for_re { } timeout { puts stderr "Error: Test execution timed out"; exit -2 } }" (procedure "run_genode_until" line 8) invoked from within "run_genode_until forever" (file "/home/paul/Bureau/Genode/genode-12.11/os/run/demo.run" line 129) invoked from within "source $include_name" ("foreach" body line 3) invoked from within "foreach include_name [get_cmd_arg --include ""] { puts "using run script $include_name" source $include_name }" (file "/home/paul/Bureau/Genode/genode-12.11/tool/run" line 508) make: *** [run/demo] Error 1 paul@...162...:~/Bureau/Genode/genode-12.11/build.lx$ paul@...162...:~/Bureau/Genode/genode-12.11/build.lx$ locate ld.lib paul@...162...:~/Bureau/Genode/genode-12.11/build.lx$

3 5

Re: OM: A real-world, tangible, desktop implementation of Genode
by unknown＠example.com 15 Jan '13

15 Jan '13

I'm looking to implement an 'auii' on the genode platform. I'll be putting out the 'auii' spec along with (within really) an xml based model/prototype, hopefully this first quarter 2013 (this year) at iintera.org. It addresses rather completely the 'user interaction thng', including various use levels. If anyone's interested in participating let me know. I might accelerate the spec/proto/model release accordingly. > ----- Original Message ----- > From: John Bessa > Sent: 01/14/13 03:07 PM > To: Genode OS Framework Mailing List > Subject: Re: OM: A real-world, tangible, desktop implementation of Genode > > Hello Norman, > > My break-down of your writing is that the biggest challenge for the > user-model is to structure a > > 1) user-relationship via the > 2) desktop to a > 3) chain of interacting components with regard to data > 4) persistence and > 5) access > > I describe this "chain of interaction" as "complexity," but complex data is > usually described as "dictionaries" --showing low comprehension of it. > Shell, in particular "comprehended" complexity so effectively with its > file-objects that I think we fell into a homeostasis while we should have > been extending it to create its own objects. Thus, we would have > currently-valid interaction with the OS. An OO shell extension might > include the "arrow" operator to define, or link, interaction between > desktop objects. > > I am attempting to create a summary of L4/Genode material including Drops > and its OS kit components, the driver synthesis concept, and your > alternative microkernels (such as Xen) to create SVG charting material. I > have seen Lua used in L4 boot, so that should go in the summary as well. > > Preserving the GNU/Unix gcc structure makes sense through "eating your own > dog food" it provides an easy entry point for younger free/software > programmers. Because these young programmers probably > have limited resources, the computer running Genode (such as a flashed > Android device) might be their only one, so allowing them to use this > device for development reinforces "eating your own," well, vegetables. As > an early administrator, I recall that Shell's and GNU's simplicity as its > asset allowing for easy inquiry into efficiency, practicality (usability), > and security. It was easy to make a good living when Shell was king from > 1990-2000. > > Regards, John >

1 0

Road map 2013
by Norman Feske 15 Jan '13

15 Jan '13

Hello and happy New Year everybody, the advent of 2013 is a good opportunity to make up our minds about Genode's road map for this year. But before I will start with explaining my preferences, I'd like to outline my thoughts about the last year's road map. In 2012, we labeled our activities as "Eating our own dog food". Our goal was to bring Genode into a shape that makes it usable as working environment for conducting Genode development. On our road-map website (http://genode.org/about/road-map) we listed a long list of desirable goals. Looking through the list makes me proud of our achievements. Just to name a few highlights, there is the ability to build Genode on Genode, SSH, lighttpd, the new file-system infrastructure, the new DDE linux and DDE OSS. But even though the list is impressive and the pieces nicely come together, we are not quite there yet to realistically make the switch to Genode as development environment. Two major missing points are a solid UI concept that leverages Genode's unique architecture and a "real" file system. You will find those points in my suggestions for this year's road map below. Even though we missed our ambitious main goal for 2012, there is no cause for despair. There are indeed many achievements in addition to our road-map items to be proud of. The most visible addition is the thorough support for ARM-based platforms reaching from versatile express, over freescale i.MX, to OMAP4. Another amazing development is the added base-hw platform that enables Genode to be executed without a 3rd-party kernel. Furthermore, the largely revised support for the Linux base platform makes Genode fit to be used as component framework on Linux, which is a quite unexpected turn of events. So what is coming next? >From my point of view, I see four major construction sites that we should address this year: framework infrastructure, self-hosting, tooling and optimizations, and hardware support. Framework infrastructure ======================== The primary group of people Genode tries to cater well are developers and integrators of systems. Genode is meant as a tool box to empower those people to build real-world component-based system solutions. From this audience, we receive requests for improvements in the following areas: * Multi-processor support: On some base platforms, SMP support is available but the framework still misses a holistic concept to manage and configure the use of multiple CPUs. * Storage: Block-device access is a general concern. Even though we laid the foundations for Genode's storage infrastructure, several pieces are still missing, in particular a "real" (non-FAT) file system, block/file/directory caching, and I/O scheduling. Without those pieces, there is no way to achieve the application performance that we desire. * Networking: The current TCP/IP performance using lwIP has room for improvement. So I'd like to find a solution to bring TCP/IP performance on Genode on par with Linux. Maybe this means to find the bottlenecks in our lwIP port, or even going for another TCP/IP stack? * Qt5: Now that Qt5 is officially released, we should consider to switch from Qt4 to Qt5. * Low-latency audio: The current audio_out-session interface was our first shot into the direction of audio processing. To enable use cases where streaming audio and sporadic sounds must be accommodated at the same time, we need to revise our approach. There is already work in progress on this topic. * Cryptography * Random numbers * Block-device encryption Self-hosting ============ The second major topic is redeeming the promise stated for the past year - using Genode as a real-world OS. The following pieces are missing. Compared to the list on the old road map, this one is rather small. So I am very positive! * UI concept for pleasant working environment * Tiled window manager * Terminal improvements (e.g., scroll buffer) * Noux improvements (e.g., signals) * Tools * Git (work is already in progress) * Mail user agent * Instant-messaging software * Support for 'make prepare' (e.g., SVN, wget, mawk) * Support for run tool: expect, Qemu Tooling and optimization ======================== Now that Genode's work loads get ever more complex, we feel the drastically increased need to understand its inner behavior and detect possible black holes where the performance goes. When the system scenarios were rather small, printf-debugging was quite feasible. But now, with multiple instances of Noux running concurrently with several drivers, we need better tools for understanding, debugging, and tracing the system. In a component-based system like Genode, the creation of such tooling support of especially challenging because we need to walk on new grounds. In my opinion, good tooling is key to direct our efforts spent with performance optimizations. The goal should be to ultimately debunk the slow performance of microkernel-based systems as a myth. Hardware support ================ The attractiveness of our framework corresponds to the degree of hardware support. Since we want to make Genode more attractive, we need to continue our efforts with creating custom drivers, porting drivers, and enabling platforms. The following points are the most interesting ones from my point of view: * Intel architecture * IOMMU support * Improved virtualization support (Vancouver on NOVA) * Intel wireless * ARM architecture * Extending support for SoC platforms * TrustZone Of course, Genode's road map for 2013 is not meant to be dictated by me. Please chime in, discuss the topics above and propose additional items. I hope that we will reach consent for the goals of this year by mid January. Then I will update the official road map on the website. 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

4 6

small questions regarding JDB ipc call trace
by jaeyong yoo 15 Jan '13

15 Jan '13

Hello! Here goes an example line of jdb IPC call trace output: ipc: 04df repl->[C:INV] DID=ffffffff L=0 [00000000] (00000000,00000000) TO=0/0 ipc: 045f call ipc->[C:205003] DID=40d L=0 [0000000b] (00000fb0,00000003) TO=INF/INF I have looked through the fiasco source code that generates this output and figured out that L=0 is the label of message [00000000] is the tag of the message (00000fb0,00000003) is the first two words of the message My questions are: 1) I observe most labels are zero in the output. I think genode defines label 0 as invalid capability, then this value looks like not correct? 2) What is the tag of the message? 3) By any chance, the second word of the message is the opcode? (Since I would like to know the opcode in IPC, that is my wish) Best regards Jaeyong

2 1

Manually set MSI in Genode under base-foc failed
by Jilong Kuang 15 Jan '13

15 Jan '13

Hi all, I was trying to manually (hack) set MSI in Genode under base-foc but failed. I'd like to describe my approach here and see if anyone can spot any mistakes or missing parts? First, I added the Msi_flag (0x80000000) to the IRQ number in the l4_icu_bind() and setup_irq_mode() functions in genode/base-foc/src/core/irq_session_component.cc. So the kernel will know this is a MSI-type IRQ. In addition, I added a l4_icu_msi_info() function to return msg info for driver msi configuration (In my case it returns the first available vector in IDT, which is 0x21) Second, in my driver code, I do the following: Genode::Irq_connection _irq(80); //random MSI number Dev->config_msi(0x21); //configure the dev (e1000 card in my case) to use MSI mode while (1) { _irq.wait_for_irq(); Dev->interrupt_handler(); } However, I never saw any MSI-type interrupt triggered by Fiasco kernel. After instrumenting kernel, I did see kernel created an MSI-type irq object and the corresponding Irq_sender object and attached itself to the right receiving thread (Interrupt_handler::handler_cap()). But I don't know why Irq_sender::kinvoke was not triggered in the kernel. Thank you very much for your help! Best regards, Jilong

1 0

Manually set MSI in Genode under base-foc failed
by Jilong Kuang - SISA 15 Jan '13

15 Jan '13

1 0

MSI support in Genode
by Jilong Kuang 14 Jan '13

14 Jan '13

Hi all, Could any briefly point out how to use MSI in Genode for device driver (e.g., e1000 card)? The existing IRQ API seems to only handle normal interrupt case. Is there any sample code I can refer to? I'm using Fiasco.OC based kernel so MSI itself is supported by the kernel. Thank you very much! Best regards, Jilong

3 4

libpulse symbols beginning by pa_ not found while linking fb_sdl (newbie)
by Paul Dufresne 14 Jan '13

14 Jan '13

Hi, I am new to Genode and love it (particularly the release notes!). I am having a problem linking fb_sdl with while compiling Genode 12.11 on LuninuxOS (based on Ubuntu Quantal) 64 bits: paul@...162...:~/Bureau/Genode/genode-12.11/build.lx$ make run/demousing run script /home/paul/Bureau/Genode/genode-12.11/base-linux/run/env using run script /home/paul/Bureau/Genode/genode-12.11/os/run/demo.run building targets: core init drivers/timer server/nitpicker server/liquid_framebuffer app/launchpad app/scout test/nitpicker server/nitlog drivers/framebuffer drivers/pci drivers/input spawn make core init drivers/timer server/nitpicker server/liquid_framebuffer app/launchpad app/scout test/nitpicker server/nitlog drivers/framebuffer drivers/pci drivers/input make[1]: Entering directory `/home/paul/Bureau/Genode/genode-12.11/build.lx' checking library dependencies... Skip target drivers/framebuffer/fiasco_ux because it requires fiasco Skip target drivers/framebuffer/omap4 because it requires omap4 Skip target drivers/framebuffer/pl11x/pbxa9 because it requires pl11x platform_pbxa9 Skip target drivers/framebuffer/pl11x/vea9x4 because it requires pl11x platform_vea9x4 Skip target drivers/framebuffer/pl11x/vpb926 because it requires pl11x platform_vpb926 Skip target drivers/framebuffer/vesa because it requires vesa Skip target drivers/input/fiasco_ux because it requires fiasco Skip target drivers/input/ps2/pl050 because it requires pl050 Skip target drivers/input/ps2/x86 because it requires ps2 Skip target drivers/timer/codezero because it requires codezero Skip target drivers/timer/fiasco because it requires fiasco Skip target drivers/timer/foc because it requires foc Skip target drivers/timer/hw/omap4 because it requires hw omap4 Skip target drivers/timer/hw/pbxa9 because it requires hw_pbxa9 Skip target drivers/timer/hw/vea9x4 because it requires hw_vea9x4 Skip target drivers/timer/nova because it requires nova Skip target drivers/timer/okl4_arm because it requires okl4 arm Skip target drivers/timer/okl4_x86 because it requires okl4 Skip target drivers/timer/pistachio because it requires pistachio Library platform Library mini_c Library libz_static Library libpng_static Library syscall ... Program drivers/framebuffer/sdl/fb_sdl COMPILE fb_sdl.o COMPILE input.o LINK fb_sdl /usr/local/genode-gcc/bin/../lib/gcc/x86_64-elf/4.7.2/../../../../x86_64-elf/bin/ld: warning: libpulsecommon-2.1.so, needed by /usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse-simple.so, not found (try using -rpath or -rpath-link) /usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse.so: undefined reference to `pa_tagstruct_get_boolean' /usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse.so: undefined reference to `pa_pdispatch_run' /usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse.so: undefined reference to `pa_dbus_add_matches' /usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse.so: undefined reference to `pa_memblockq_free' /usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse.so: undefined reference to `pa_detect_fork' ... /usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse-simple.so: undefined reference to `pa_log_level_meta' ... /usr/lib/gcc/x86_64-linux-gnu/4.7/../../../x86_64-linux-gnu/libpulse.so: undefined reference to `pa_tagstruct_putu32' collect2: error: ld returned 1 exit status make[3]: *** [fb_sdl] Error 1 make[2]: *** [fb_sdl.prg] Error 2 make[1]: *** [gen_deps_and_build_targets] Error 2 make[1]: Leaving directory `/home/paul/Bureau/Genode/genode-12.11/build.lx' Error: Genode build failed make: *** [run/demo] Error 252 paul@...162...:~/Bureau/Genode/genode-12.11/build.lx$ pon But libpulse-dev seems intalled: paul@...162...:~/Bureau/Genode/genode-12.11/build.lx$ apt-cache showpkg libpulse-dev Package: libpulse-dev Versions: 1:2.1-0ubuntu4 (/var/lib/apt/lists/ca.archive.ubuntu.com_ubuntu_dists_quantal_main_binary-amd64_Packages) (/var/lib/dpkg/status) Description Language: File: /var/lib/apt/lists/ca.archive.ubuntu.com_ubuntu_dists_quantal_main_binary-amd64_Packages MD5: a36e2b24ab289ab86564c79e92c8e87f Description Language: en File: /var/lib/apt/lists/ca.archive.ubuntu.com_ubuntu_dists_quantal_main_i18n_Translation-en MD5: a36e2b24ab289ab86564c79e92c8e87f Description Language: fr File: /var/lib/apt/lists/ca.archive.ubuntu.com_ubuntu_dists_quantal_main_i18n_Translation-fr MD5: a36e2b24ab289ab86564c79e92c8e87f Reverse Depends: libpulse-dev:i386,libpulse-dev 1:2.1-0ubuntu4 libpulse-dev:i386,libpulse-dev 1:2.1-0ubuntu4 libpulse-ocaml-dev,libpulse-dev libgmtk-dev,libpulse-dev libfluidsynth-dev,libpulse-dev libsdl1.2-dev,libpulse-dev Dependencies: 1:2.1-0ubuntu4 - libpulse0 (5 1:2.1-0ubuntu4) libpulse-mainloop-glib0 (5 1:2.1-0ubuntu4) libglib2.0-dev (0 (null)) libavahi-client-dev (0 (null)) libpulse-dev:i386 (3 1:2.1-0ubuntu4) libpulse-dev:i386 (6 1:2.1-0ubuntu4) Provides: 1:2.1-0ubuntu4 - Reverse Provides: paul@...162...:~/Bureau/Genode/genode-12.11/build.lx$

1 2

OM: A real-world, tangible, desktop implementation of Genode
by John Bessa 14 Jan '13

14 Jan '13

Hello all, The following writing is my attempt to suggest a real-world application for Genode that "philosophically" gives more "responsibility" to the OS/framework at the expense of application-dominance. Starting in the late-90s, I felt that the OS should be closer to the applications (such as web-, data-, and logic-servers in opposition to the movement, which was to disassociate applications from OSs). My job was maintaining both OSs and applications (as an administrator) and I saw efficiency by blurring the differences between them. My OS model (called the Thinman) was a single OS/application that would have libraries/modules that would be "called upon" and brought to windows on the desktop that had "browsed" for material such as pictures and edited the material using tools (libraries and modules). Of course, new material could be initiated with the "New" button. More recently, I have personally concluded that the SVG, or Scalable Vector Graphics page, should be at the heart of the future Web, and the WC3 seems to agree by proscribing full HTML capability within SVG pages. Thus, nearly anyone can easily make an exceedingly attractive page (far more so than FaceBook or Google+), and then paste in the written material as basic html text. Given this, I tend to use Inkscape (IS) SVG editor a lot. Previously, I used GIMP, but GIMP is an image editor, not a page editor. So, today, I use both, primarily to cover IS's weaknesses in graphics manipulation. As you might predict, the interrelation between the two systems is awkward. You can "cut" from GIMP using the mouse or "ctl" key combinations, and "paste" to IS, and the pasted image can be manipulated, but cannot be saved as an SVG page. (I use snipping tool to make web images). In light of my "native" OS beliefs, I "fantasized" a solution that has an OS-based graphic image editor that I call Object Manipulator (OM). OM takes the input stream from the mouse (or ctl-keys), creates from it an object, and then applies the libraries of tools and filters from GIMP (and other sources) directly to the object, including all the cutting/selecting tools. The image, when fully altered, is then selected and "pasted" back into IS, or other format-specific editor, to be made into a presentable product. Given this model, there is no reason the "pasted" object has to be a graphic; it could be a poem, and the libraries brought to it might include a thesaurus. Thus, OM has no specific purpose, except to bring together objects and libraries (which are technically also objects, but that is a different discussion). OM has no connection to "reality" as its space is "an abstraction." It only works in the context of the OS and has the desktop as its "background" in ways no different than a repairman's bench-top is the "background" for fixing/developing some device such as an appliance. It does not even intend to use the filesystem to communicate with applications (though of course it can by converting to established file formats or by creating a native one). The object might not even need a background, or even an application called OM to call it; it may be defined in of itself as a selected object, perhaps defined in the context of, or possessed by, the mouse. I am hoping that this tangible example (that I emulate using IS and GIMP) can help provide a real-world basis, or context, for the Object OS layer that you are attempting with Genode. Implementing this idea involves subtle philosophic/holistic issues that are at the heart of an "agnostic" OS framework; that is to say that given circumstances either technical or political, a kernel can be switched out at the bottom, or, likewise, and object manipulator can be switched out. This suggests that the OS framework must be impartial and democratic --a sort of United Nations of OSs and desktops. I hope that this writing is comprehensible, and I will continue to attempt to simplify it especially for a wider audience. Regards, John -- Photography and sculpture: http://thinan.com/john_bessa/photography Empathy and Emotional Communication http://en.wikiversity.org/wiki/Empathy_Model http://johnbessa.com/empathy Technology and Education: http://thinman.com

2 3

process map information ( like linux pmap )
by Younwoo Kim 14 Jan '13

14 Jan '13

Hello Genode, When running the test program on Fiasco.OC, often a page fault occurs. I assume that, I made a bug by misusing of a shared library. However, I don't know how to get a shared library text. for example, /proc/id/maps on linux: ( or pmap ) root:/proc/1# cat maps b74fa000-b7505000 r-xp 00000000 08:01 10384183 /lib/i386-linux-gnu/ libnss_files-2.15.so b7505000-b7506000 r--p 0000a000 08:01 10384183 /lib/i386-linux-gnu/ libnss_files-2.15.so ... I want to get a section information of shared library for finding a cause of page fault. What should I do for solving this question?

2 1

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users