users

users@lists.genode.org

3 participants
2319 discussions

Hack'n'Hike 2019
by Martin Stein 07 Jan '19

07 Jan '19

Hi guys! The Hack'n'Hike has become a fun tradition amongst the Genode enthusiasts. Every year around May we gather in a cozy accommodation somewhere in the beautiful nature of Saxony/Germany and mix relaxed hacking all around Genode with refreshing outdoor activities. This year it will be the 10th to the 13th May in Ferdinands Homestay, Königsstein in the Saxony Switzerland. For more details and news please see the corresponding Github issue [1]. If you have questions or suggestions, feel free to answer this mail. If you like to join us, please let us know before the end of February! Cheers, Martin [1] https://github.com/genodelabs/genode/issues/2841

1 0

Depot Archive Creation
by Edward Sandberg 03 Jan '19

03 Jan '19

Hello all, I am trying to create a depot archive that is my own custom version of a port available in the main distribution. I modeled my recipe files after the ones found in libports/recipes. Section 5.5.1 of the genode foundations book seems to indicate that adding /<date> would be enough to distinguish between archives with the same name so my files look like this: # cat repos/adventium/recipes/src/libssl/api libssl/2019-01-02 # cat repos/adventium/recipes/src/libssl/used_apis libc libcrypto/2019-01-02 so # cat repos/adventium/recipes/src/libcrypto/api libcrypto/2019-01-02 but when I try to run ./tool/depot/create I get the following error: # ./tool/depot/create adventium/src/libssl/2019-01-02 Error: recipe for 'libcrypto' is ambiguous, candidates are: /home/esandberg/genode/repos/adventium/recipes/api/libcrypto /home/esandberg/genode/repos/libports/recipes/api/libcrypto make[3]: *** [/home/esandberg/genode/tool/depot/mk/extract.inc:33: checked_recipe_is_unique] Error 1 make[2]: *** [/home/esandberg/genode/depot/var/extract.mk:44: adventium/api/libcrypto/2019-01-02] Error 2 make[1]: *** [/home/esandberg/genode/tool/depot/extract:175: execute_generated_extract_mk_file] Error 2 make: *** [tool/depot/create:41: extract] Error 2 Is it not possible to have more than one archive with the same name or am I just missing a step? -- Edward Sandberg Adventium Labs 111 3rd Avenue S. Suite #100 Minneapolis, MN 55401 ed.sandberg(a)adventiumlabs.com

2 1

Experiences with Sculpt VC
by Guido Witmond 19 Dec '18

19 Dec '18

Hi Genodians, I've been playing with Sculpt VC again. Doing so thought me a lot more about routing. This time I succeeded in creating a VM with partitions on two SATA disks. It runs Nixos inside with the /home partition on an encrypted ZFS mirror. (and the root partition on a virtual disk, just like the Debian VM). When I want to start the VM and the ahci-1.part_blk is not running, the Runtime manager reports with a diagnostic stating vm-nixos needs ahci-1.part_blk. To start my vm, I inspect a different partition on that disk. That starts the part_blk and Runtime starts my VM. So far so good. The problems start here: 1. When the VM runs and I stop inspecting that partition, the Runtime manager kills my VM. The manager was happy to start my VM when the resource came available but does not keep the part_blk alive when the inspector stops. 2. When the VM runs (and has a session to the part_blk for that partition, I can format that partition from the Storage component. I get data corruption errors in ZFS on that disk. (But ZFS lives on and repairs it from the other mirror). That seems to be in violation of The Book para 4.5.8: """The part-block component requests a single block session, parses a partition table, and hands out each partition as a separate block session to its clients. There can be one client for each partition. """ I would expect that the formatter would get an error because it should not get a session to that partition. Could someone shine a light on what's going on? The log file is here: https://paste.wtmnd.nl/xfNMa3yY I wrote a full write-up of my sculpting here: https://paste.wtmnd.nl/WKUQowg2 -- I intend to make it a blog post for others to learn from, hence the writing style. Regards, Guido.

2 3

OpenSSL version update
by Edward Sandberg 18 Dec '18

18 Dec '18

Hey everyone, I ported a new version of OpenSSL (1.1.0i) to Genode. I have it working for x86_32 and x86_64. All of my testing was done using the seL4 kernel. The changes are here: https://github.com/sand7000/genode/tree/openssl-1.1.0i Updating OpenSSL impacted Curl and LibSSH. I ported a newer version of Curl and started porting a newer version of LibSSH. Additional work is required to complete this, including adding support for ARM, completing the port of LibSSH and completing the depot packaging. The following is included in my release, if other folks want to carry it on from here: * OpenSSL 1.1.0i works for x86_32 and x86_64 * Curl 7.50.3 works for x86_32 and x86_64 * LibSSH 0.8.3 port compiles but I have not tested it -- Edward Sandberg Adventium Labs 111 3rd Avenue S. Suite #100 Minneapolis, MN 55401 ed.sandberg(a)adventiumlabs.com

2 2

TTS and Genode
by ttcoder＠netcourrier.com 14 Dec '18

14 Dec '18

Howdy all, We are a (very small) company looking for a good home for our software suite. The Be-derived OS we've been using served us well for a long time, but instability has become a problem of late, with kernel/drivers crashes -- obviously that is where a micro-kernel/framework would shine. My thinking goes, if we are to 'port' our SW we might as well go for state of the art. That way, it will be the first and last time we do that transition. Our clients don't need (nor event want!) all the bells and whistles of a commodity OS; they just need a solid kernel with our apps running full-screen. So it appears to be a perfect match with Genode/nova, nitpicker et alia, keeping in mind I of course have some huge work ahead of me. Anyway long story short: although I'm very enthusiastic about Genode, I first need to get my greedy hands on it and compile it. I've been failing at that repeatedly ever since doing my first git clone, ca. 18.05 A collaborative worksheet might be better suited for copy-pasting error messages and for organizing thoughts (rather than cluttering this mailing-list): I've created this etherpad as a companion venue for working on this, in case there is interest: https://etherpad.net/p/KcMuF3Ylbu_gcc I'll update it with my progress. Very eager to get the ball rolling and start working with Genode. If all else fails I guess I'll download/install/learn to use Linux. But since all my software is haiku native, I'd have to constantly reboot from one OS to the other, hurting productivity. It's probably worthwhile for me to invest time in building Genode and run 'scenarios' (qemu) directly from within Haiku. Thanks, Cedric, TuneTracker Systems LLC - http://www.tunetrackersystems.com

3 3

Skeleton / Example PCI Device Driver
by John J. Karcher 11 Dec '18

11 Dec '18

Hello, In my slow quest to port/write the VirtualBox Guest Additions, the first step is a driver for the virtual PCI device that handles communication with the VirtualBox host. Is there a skeleton device driver for PCI devices? My first goal is just the boilerplate init code, attaching to the IRQ and I/O memory, and logging the interrupts as they come in. If there isn't a skeleton driver, could anyone recommend the simplest example that I could use as a starting point? Thanks! -- John J. Karcher devuser(a)alternateapproach.com

2 1

prepare Qt5 port fails
by Pirmin Duss 11 Dec '18

11 Dec '18

Hallo Genodeans tool/port/prepare_port qt5 fails, as the file http://ftp.icm.edu.pl/packages/qt.old/solutions/lgpl/qtscriptclassic-1.0_1-… doesn't exist anymore. Is there a backup location that provides this file? Best regards, Pirmin

4 4

Activate Co-Processor for Bare-Metal via Genode
by Matthias Adams 06 Dec '18

06 Dec '18

Hello everyone, I am currently working on a Pandaboard ES, on which a Genode 18.02 runs using a L4 Kernel and I would like to use the Co-Processor of the Pandaboard (namely Cortex M3). I used an example like [1] in order to write my application for the M3, which works perfectly when loaded by the program suggested in [1]. [1] https://github.com/apopple/Pandaboard-FreeRTOS In order to get things working, when a Genode system is running on the main Processor (Cortex A9) I wrote a "driver" similar to the gpio driver, which should set-up the MMU for the M3 and start it, but absolutely nothing happens. The driver compiles and runs without any warnings or errors. Reads and writes to physical addresses look good to me, but the M3 does not seem to start (it should blink an LED for now). I triple checked all physical addresses, which I added to 'repos/base/include/drivers/defs/panda.h': /*M3 */ CM_MPU_M3_CLKSTCTRL_BASE = 0x4a008900, CM_MPU_M3_CLKSTCTRL_SIZE = 0x40, RM_MPU_M3_RSTCTRL_BASE = 0x4a306900, RM_MPU_M3_RSTCTRL_SIZE = 0x20, M3_L2MMU_BASE = 0x55082040, M3_L2MMU_SIZE = 0x40 I used these bases, in order to create my Registers like: struct M3_CM_MPU_reg : Genode::Attached_io_mem_dataspace, Genode::Mmio { M3_CM_MPU_reg(Genode::Env &env, Genode::addr_t const mmio_base, Genode::size_t const mmio_size) : Genode::Attached_io_mem_dataspace(env, mmio_base, mmio_size), Genode::Mmio((Genode::addr_t)local_addr<void>()) { } struct Clkstctrl : Register<0x00, 32> {}; struct Clkctrl : Register<0x20, 32> {}; }; struct M3_RM_MPU_reg : Genode::Attached_io_mem_dataspace, Genode::Mmio { M3_RM_MPU_reg(Genode::Env &env, Genode::addr_t const mmio_base, Genode::size_t const mmio_size) : Genode::Attached_io_mem_dataspace(env, mmio_base, mmio_size), Genode::Mmio((Genode::addr_t)local_addr<void>()) { } struct Rstctrl : Register<0x10, 32> {}; }; struct M3_L2MMU_reg : Genode::Attached_io_mem_dataspace, Genode::Mmio { M3_L2MMU_reg(Genode::Env &env, Genode::addr_t const mmio_base, Genode::size_t const mmio_size) : Genode::Attached_io_mem_dataspace(env, mmio_base, mmio_size), Genode::Mmio((Genode::addr_t)local_addr<void>()) { } struct Cntl : Register<0x4, 8> {}; struct Ttb : Register<0xc, 32> {}; }; The registers are then written and read in my driver like below: class Omap4_driver : public M3::Driver { private: Genode::Env &_env; M3_CM_MPU_reg _m3_cm_mpu; M3_RM_MPU_reg _m3_rm_mpu; M3_L2MMU_reg _m3_l2mmu; Omap4_driver(Genode::Env &env) : _env(env), // see repos/base/include/drivers/defs/panda.h _m3_cm_mpu(_env, Panda::CM_MPU_M3_CLKSTCTRL_BASE, Panda::CM_MPU_M3_CLKSTCTRL_SIZE), _m3_rm_mpu(_env, Panda::RM_MPU_M3_RSTCTRL_BASE, Panda::RM_MPU_M3_RSTCTRL_SIZE), _m3_l2mmu(_env, Panda::M3_L2MMU_BASE, Panda::M3_L2MMU_SIZE) { } public: static Omap4_driver& factory(Genode::Env &env); /****************************** ** M3::Driver interface ** ******************************/ void setup_l2mmu(Genode::addr_t ds_phys_addr, Genode::Ram_dataspace_capability ttb_cap, Genode::addr_t ttb_phys_addr) { Genode::addr_t ttb_addr = _env.rm().attach(ttb_cap); Genode::log("L2: attached dataspace"); /* Brings the L2 MMU out of reset and sets up virtual addresses */ unsigned clkctrl = _m3_cm_mpu.read<M3_CM_MPU_reg::Clkctrl>(); clkctrl = 0x01; _m3_cm_mpu.write<M3_CM_MPU_reg::Clkctrl>(clkctrl); unsigned clkstctrl = _m3_cm_mpu.read<M3_CM_MPU_reg::Clkstctrl>(); clkstctrl = 0x02; _m3_cm_mpu.write<M3_CM_MPU_reg::Clkstctrl>(clkstctrl); unsigned rstctrl = _m3_rm_mpu.read<M3_RM_MPU_reg::Rstctrl>(); rstctrl &= ~0x4; _m3_rm_mpu.write<M3_RM_MPU_reg::Rstctrl>(rstctrl); int *TTB = ((int*) ttb_addr); /* Initialise address translation table */ /* Every address will be mapped to M3_LOAD_ADDRESS */ for(int i = 0; i < 4096; i++) { TTB[i] = (((ds_phys_addr) & 0xfff00000) | 0x00c02); } /* Set the last entry to point to the GPIO1 peripheral to flash a light */ /* ie. Virtual address of GPIO1_DATAOUT is 0xfff1013c */ TTB[4095] = 0x4a300c02; /* Set the base address */ Genode::log("physAddr: ", Genode::Hex(ttb_phys_addr)); _m3_l2mmu.write<M3_L2MMU_reg::Ttb>(ttb_phys_addr); /* Enable MMU */ _m3_l2mmu.write<M3_L2MMU_reg::Cntl>(0x6); Genode::log("L2 enabled"); } void start_m3() { /* Release Cortex-M3 from reset */ unsigned rstctrl = _m3_rm_mpu.read<M3_RM_MPU_reg::Rstctrl>(); rstctrl &= ~1; _m3_rm_mpu.write<M3_RM_MPU_reg::Rstctrl>(rstctrl); } }; Any idea on how to get things working or on how to further debug would be great! Thanks, Matthias

1 0

How to pass command-line arguments to Genode application?
by Wouter van Oijen 03 Dec '18

03 Dec '18

Hello, I want to pass one or more command-line arguments to my Genode application. So instead of starting "mosquitto", I want to run "mosquitto -p 1888", for example. How do I do this? I've found run files that pass arguments to Noux applications (using a start-element inside the config-element), but this does not seem to work for my application. So how are command-line arguments passed to the application in general? Below is the part of the init configuration that I currently use to start the application. <start name="mosquitto"> <resource name="RAM" quantum="100M"/> <config> <vfs> <dir name="dev"> <log/> <rtc/> </dir> <dir name="socket"> <lwip ip_addr="10.0.2.55" netmask="255.255.255.0" gateway="10.0.2.1"/> </dir> </vfs> <libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc" socket="/socket" /> </config> </start> Regards, Wouter

2 2

Announcement: Genode OS Framework version 18.11 released
by Norman Feske 29 Nov '18

29 Nov '18

I am happy to announce the release of Genode 18.11. This version is focused on two topics that were prominently mentioned on the road map for 2018, namely software quality and the use of Genode for network appliances and server applications. For the users of Sculpt OS among you, the release comes with new window-management features that wait for your exploration. ;-) In short, the highlights of the new version are: - Quality assurance - Automated test infrastructure hosted on top of Genode - New tooling for obtaining test-coverage metrics - Static code analysis - Genode as a platform for Mirage-OS unikernels - Initial version of the Genode SDK - Component health monitoring - Modularized window system in Sculpt OS - Zero-copy networking on Xilinx Zynq - New SSH terminal server - New window layouter You can find the comprehensive documentation for the version 18.11 here: https://genode.org/documentation/release-notes/18.11 Have fun with the new version! Norman -- Dr.-Ing. Norman Feske Genode Labs https://www.genode-labs.com · https://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users