users

users@lists.genode.org

3 participants
2319 discussions

Out of tree hardware platforms
by Duss Pirmin 02 Oct '20

02 Oct '20

Hi Genodians I'm enabling base-hw on the IoT gateway of CompuLab [1]. I do this in a separate repository in the same way as arndale, panda etc are done in genode-world. This works well apart from some minor modifications on the imx8q_evk (for which I will create an issue as soon everything is finalized and cleaned up). The only thing I'm struggling with is that /tool/run/boot_dir/hw isn't used. This leads to the error unknown platform no linker address known If I add the platform to genode/tool/run/boot_dir/hw building works. But as with the other out of tree platforms I'd like to keep the platform out of the Genode repository, for cleanness. The repository is linked to genode/repos/... and added to REPOSITORIES in build/arm_v8a/etc/build.conf. [1] https://www.compulab.com/products/iot-gateways/iot-gate-imx8-industrial-arm… Best regards, Pirmin

3 2

The Falkon browser / Chromium engine running natively on Genode is absolutely beautiful
by baconicsynergy＠protonmail.ch 29 Sep '20

29 Sep '20

I can't access my Gmail or Protonmail yet (it says the engine isn't up to date), but I don't care - this is a huge step forward for Genode's web capabilities! I can't tell you how excited this makes me. Considering that Firefox usage is much lower lately (unfortunately :/) investing in a Chromium based web browser is wise. It's also going to be very nice not needing to spin up a virtual machine to use a feature-filled web browser Looking forward to future updates!

1 0

Announcement: Sculpt OS 20.08 released
by Norman Feske 17 Sep '20

17 Sep '20

Hello everyone, I'm pleased to announce the release of Sculpt OS 20.08, along with a ready-to-use system image and OVA appliance: https://genode.org/download/sculpt Please refer to the updated documentation when using this version: https://genode.org/documentation/articles/sculpt-20-08 https://genode.org/documentation/sculpt-20-08.pdf (PDF) You can find a short summary of the changes in the following article: https://genodians.org/nfeske/2020-09-17-sculpt-os Have fun sculpting! 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

fs_rom "follows" files
by Roman Iten 10 Sep '20

10 Sep '20

Hello Genodians I use `run/bash` and added a simple component that logs the content of a ROM module: ```xml <start name="test-update"> <resource name="RAM" quantum="2M"/> <route> <service name="ROM" label="test.config"> <child name="vfs_rom" label="tmp/test.config"/> </service> <any-service> <parent/> <any-child/> </any-service> </route> </start> ``` Then, I execute the following commands on the interactive shell: ```bash > echo "1st-cfg" > /tmp/test.config` # "1st-cfg" is logged > mv /tmp/test.config /tmp/test.backup` # nothing is logged > echo "2nd-cfg" > /tmp/test.config` # nothing is logged > echo "3rd-cfg" > /tmp/test.backup` # "3rd-cfg" is logged ``` Is it the intended behavior that `fs_rom` "follows" the file or should it always provide the ROM content of the file with the specified name instead? The background of this question is that in fact, `test-update` for example could be a component that consumes the `test.config` and is supposed to react on configuration updates. Cheers, Roman

2 2

Attached_mmio with platform_drv
by Pirmin Duss 03 Sep '20

03 Sep '20

Hello Genodians I'm currenty working on a I2C driver for the iMX8 processor. I actually started this before the 20.08 release. But when I read that the new platform driver for the iMX8 SoC can automatically enable/disable clocks for subsystems, I decided to use this new feature, as I had problems enabling the clocks before. If my assumptions are correct (by reading the code of the usb_host_drv), one is able to get a capability to the IOMEM that the platform driver has mapped via `acquire_device().io_mem_dataspace()`. What is currently not clear to me, is how to map the `Attached_mmio` of the driver use the mapped IOMEM, to be able to use the register definitions? Or does a driver that uses the `platform_drv` component require an other way to access the registers? My current work in progress code (with lots debug stuff in it) can be found at [1]. Best regards, Pirmin [1] https://github.com/trimpim/genode/tree/i2c_dirver_imx8q_evk_20.08

3 6

Announcement: Genode OS Framework version 20.08 released
by Norman Feske 28 Aug '20

28 Aug '20

I'm happy to announce today's release of Genode 20.08. The two most prominent topics of the new version are our port of the Chromium web engine and the redesign of the low-level GUI stack. With the Chromium engine, we expose Genode to an extremely heavy-weight workload, which stresses the framework like never before on many levels, from the quality of our POSIX runtime, the ability to bridge 3rd-party build systems with Genode, to the performance and robustness of our native protocol stacks (TCP/IP, graphics, file-system access). So the collateral improvements while porting this behemoth of software are valuable for the users of the framework at large. The rework of the framework's low-level GUI stack is the result of a design and planning phase of over two years. With the architectural change conducted during this release cycle, we clear the path for the ability to swap-out graphics and input drivers on the fly without reboot, and to realize features like screen capturing and remote desktop scenarios in a privacy-protecting way. Besides these highlights, the release comes with plentiful improvements ranging from hardware-support (i.MX8), over the modularisation of CBE block encryptor, to CPU-affinity management for Sculpt OS. A quick summary of the most visible topics: - Redesigned low-level GUI stack - Removal of drivers from the trusted computing base - Consistent use of 32 bits per pixel - Improved Qt5 integration and work flows - Chromium engine and Falkon web browser - Pluggable crypto and trust anchor for the CBE block encrypter - Device drivers and platforms - ARM Trusted Firmware access - Power and clock management for i.MX 8M Quad SoC - New block server backed by VFS content - New port of SDL2 library - Interactive CPU-affinity management for Sculpt OS You can find all the details in the release documentation at https://genode.org/documentation/release-notes/20.08 Enjoy! 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

2 1

Unable to read from socket
by Daly, Connor G. 24 Aug '20

24 Aug '20

Hi all, Quick thanks to Alex for helping me get started a couple weeks ago. I'm trying to port/rewrite a C++ program I wrote to Genode and am running into a networking issue. The program is a server and accepts TCP connections from clients that do not wait for a response. I'm sending my data via a python 3.7 script that works with the Linux native version of the application and is essentially: import socket sock = socket.socket(socket.AF_INET, socket.SOCK_STREAM) sock.connect(('127.0.0.1', 5555)) sock.sendall(b"test\r\n") sock.close() Basically, I've been unable to read from my listen sockets. I'm able to bind, listen for connections, accept an incoming connection, and call socket read(), but then it just hangs. I saw something in the 18.08 release notes that made me think LwIP might only support asynchronous mode, so I tried nonblocking sockets. Those no longer hang, but they also don't read any data. Next, I tried using tcp_terminal and modifying the tcp_terminal_echo program to fit my needs. This program also can't read any of the data I send it. It accepts the incoming connection, but never logs that any bytes are read. However, TCP terminal does accept telnet connections like in the example program. I then discovered that my synchronous socket reading would actually work for a telnet connection as well. Any idea what is going on here? For reference, my run script is essentially the same as tcp_terminal.run. Failing that, does anyone know what I would need to do to modify tcp_terminal/tcp_terminal_echo to make it accept regular tcp socket connections and not just telnet? Thanks so much! -Connor

1 0

Base-hw scheduler
by Chris Hofer 24 Aug '20

24 Aug '20

Hi everyone, I'm having some troubles in understanding how the concept of 'fills' and 'claims' of base-hw's scheduler [1] is expressed in the Xml syntax of Init's configuration. My concrete questions are: * how does the syntax indicate, whether the threads of a component are treated as fills or claims? * do priorities affect the scheduling of fills? The background of the second question is, that I'm confused by the priority assignment in the run-script vmm_arm.run. I expected all components to be fills and scheduled in a round-robin fashion. What is the reason for assigning the priority -1 to the Vmm? Best, Chris Hofer [1] 7.7.7 of Genode Foundations

2 1

Issue in booting on Lenovo x230
by Parfait Tokponnon 21 Aug '20

21 Aug '20

Hello, Please, may you help me figure out what makes the booting process hang on Lenovo x230? The booting process just hangs with no explicit error on the serial console. Freshly cloned git repository, This happens with both demo and seoul-net scenarios Log files are attached, Genode version: 20.05 Regards, -- Parfait T.

2 1

difference in genode memory allocation for NOVA and seL4
by Alexander Tormasov 19 Aug '20

19 Aug '20

Hello! I am trying to implement allocate_at() Libc:: function, which allocate memory region in given (desired) address. To implement I need to extend dataspace (as I understand, this is physical memory) at appropriate address, and later attach it to the local allocator. I found that memory allocation code from base/include/region_map/region_map.h /** * Shortcut for attaching a dataspace at a predefined local address */ Local_addr attach_at(Dataspace_capability ds, addr_t local_addr, size_t size = 0, off_t offset = 0) { return attach(ds, size, offset, true, local_addr); } does work for NOVA, but do not work for seL4 kernel for x86_64. This happens when I try to allocate 64k from pre-defined addresses like (try in order) 0xc000000000, 0x1c000000000, 0x2c000000000/etc… I create function int Libc::Mem_alloc_impl::Dataspace_pool::expand_at(size_t size, void * ptr, Range_allocator *alloc) and inside it, in my call to try { new_ds_cap = _ram->alloc(size); local_addr = _region_map->attach_at(new_ds_cap, addr_t(ptr), size); } in seL4 it catch exception catch (Region_map::Region_conflict) { while same calls in NOVA works ok. Problem happens in second call to attach_at(), new_ds_cap is ok. Are there significant difference in the memory allocation process (for particular addresses ranges) between NOVA and seL4? Thanks! Alexander

2 1

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users