users

users@lists.genode.org

7 participants
2332 discussions

keyboard/keymap issues
by Nobody III 05 Mar '18

05 Mar '18

In Sculpt, I have noticed 2 major keyboard issues: 1. The caps lock and shift keys are treated identically, which gives unexpected results (symbols instead of numbers) when a user types numbers with caps lock enabled. 2. The delete, end, and home keys don't work properly in bash. They are equivalent to typing the '~' character. Those keys work fine in vim, however.

2 1

Sculpt questions, briefly answered
by Norman Feske 05 Mar '18

05 Mar '18

Hello everyone, it's really great to see your interest in Sculpt! Hereby, I'd like to clarify a few things about Sculpt that were raised in the discussion. Question: Is any kernel supported other than NOVA? No. Please stick to NOVA because it is the only kernel used with Sculpt at Genode Labs. (this may change throughout the year) Question: How about using disk partitions? We deliberately left this topic out of the scope of Sculpt EA because it is not essential for a minimum-viable general-purpose setup. It goes without saying that Sculpt will support partitions down the road. You can use part_blk manually but it is not the official Sculpt path today. Question: Improving the detection of the default block device? The current heuristics is overly simplistic and of course not here to stay. Our current idea is to let the drivers subsystem scan the available block devices for one that hosts a partition with a magic label like "GENODE". Question: Do we plan to introduce any boot-time options? No. Genode's core has no boot-time arguments. User-provided configuration enters the picture at the level of the init component. Question: How to debug driver-related issues? If Sculpt does not run out of the box, please start experimenting with running simpler scenarios on your hardware first. E.g., Sculpt's drivers subsystem can be executed without the rest of Sculpt using the gems/run/driver_manager.run script, which - in contrast to Sculpt - outputs driver messages to core's LOG service that prints the message to the serial line. Question: What is the scope of features of the drivers subsystem? Since the drivers subsystem is not managed or configured by the user, it must stay as simple and generic as possible. Everything that can in principle be realized as part of the runtime subsystem should be part of the runtime, not the drivers subsystem. E.g., part_blk does not belong into the drivers subsystem. Question: What is the vision behind the Leitzentrale? Eventually, all actions that we perform manually via Noux as of today will become available via a graphical user interface. Under the hood, this user interface will "emulate" the user's manual interaction with the report and config file systems. Once all (common) boot-time operations are covered by the graphical user interface, Noux will be removed from the boot image. Question: How will the end result of Sculpt look like? We don't know. Sculpt EA is just a stepping stone that we use to explore the design space. Cheers 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

[SPAM] Sculpt scenario and block devices
by Tomasz Gajewski 04 Mar '18

04 Mar '18

After few glitches I've managed successfully boot Sculpt to the point where Leitzentrale console is working. It's interactive nature is really cool and makes me want to play with it further. I can see block devices reported in /report/drivers/block_devices but I have two disks so driver_manager is not marking any of my disks as default. Both disks are partitioned and I could give one partition exclusively to Genode to continue playing with it but not whole disk. Additionally I can see that usb storage devices are properly detected and reported so alternatively I could use a pendrive as storage for genode data. I think there are two possibilities to continue. First is to change Sculpt configuration during preparing image to match my configuration. Second is to change implementation of some component (?driver_manager?0 to be flexible enough to automatically handle all my devices: disks (ahci), partitions on disks (part_blk on ahci devices), usb drives (usb), partitions on usb drives and expose them. Later it should be possible to just select a block device which user would like to user for Genode. I'd like to try to work a little to make a second solution working (although probably I'll have to make the first (static) version working before making a dynamic one). I think that for each disk device (either ahci or usb) something should start part_blk for it, check if it properly detected partitions and expose them. Addtionally there should be a configuration option that could be easily set in some config that would make a specific block device a default one (instead of policy that marks it as default if there is only one device). I think you already have some vision how you plan to implement that part of system. Do you plan to extend driver manager implementation? Would such work be a good contribution? Or maybe you plan to reimplement this functionality in a less low level language? Nim? Tomasz Gajewski

3 3

VFS FIFO plugin
by Nobody III 02 Mar '18

02 Mar '18

I've started writing a (single-file) FIFO VFS plugin. I have gotten it to compile, but I still need a little help. How should I test my plugin? I'm not aware of a good run script to base a test on. How should I register signal handlers? I can use a list of List_element<Signal_context_capability>, but that requires extra dynamic memory allocations. How should I handle this to properly account for memory?

1 0

Sculpt not accepting input from touchpad
by Nobody III 02 Mar '18

02 Mar '18

When I run the Sculpt scenario on my laptop, the touchpad doesn't work, unlike in the old Turmvilla scenario. How can I fix this?

1 0

QProcess/QProcessEnvironment not declared
by Nobody III 01 Mar '18

01 Mar '18

I've been trying to port various Qt apps, including qt5ct, and I've run into errors such as "error: ‘QProcessEnvironment’ was not declared in this scope". I get that QProcess doesn't work on Genode, given its lack of fork() support outside noux, but why won't anything using QProcess or QProcessEnvironment compile, and how do I fix this?

2 1

Genode OS Framework version 18.02 released
by Norman Feske 28 Feb '18

28 Feb '18

Hereby, I proudly announce the release of Genode 18.02, which features the first revision of Sculpt OS, which is the Genode-based operating system that our team at Genode Labs has been using for several months now. For the release, we have taken the time to polish and document it so that like-minded people can join us with using and improving Genode day to day. Even though most topics of the release are closely related to Sculpt, many of them are interesting on their own account. The highlights are: - Sculpt for Early Adopters (EA) - On-target package installation and deployment - Improved networking stack - Support for servers written in the Nim language - VirtualBox version 5.1.32 - New trace-logging component - Ethernet-driver for i.MX-based Wandboard - SMP support for Xilinx Zynq hardware The complete release documentation is available at: https://genode.org/documentation/release-notes/18.02 I wish you a lot of fun with exploring the new release! Cheers 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

Config update timing
by Nobody III 27 Feb '18

27 Feb '18

What guarantees are there regarding config update timing? For example, if a process requires a policy change to get access to a required service, is the server guaranteed to get the config update before the service request? When we bring in a filesystem, e.g. ram_fs, how does that affect things? It seems that the chain of asynchronous notifications would destroy timing guarantees.

2 1

Fiasco.OC development version available on github
by Matthias Lange 21 Feb '18

21 Feb '18

Hi, Kernkonzept proudly announces the availability of a development version of the Fiasco.OC microkernel on github [1]. It features a detailed history and will be updated regularly. Those interested in exploring the latest changes can amend the latest L4Re snapshot release (see [2]) with this development version. We plan to release development versions of the build system and selected userspace components in the weeks ahead. So, let us know what you think. Cheers, Matthias. [1] https://github.com/kernkonzept/fiasco [2] https://l4re.org/download.html -- Matthias Lange, matthias.lange@...272..., +49-351-41 888 614 Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. GeschÃ¤ftsfÃ¼hrer: Dr.-Ing. Michael Hohmuth

1 0

Re: Beginner : VMM with genode
by jony jony 19 Feb '18

19 Feb '18

i'm using an ubuntu virtual machine, and booted through dual boot genode on a nova kernel , the interface that shows is very basic and only has launchpad , i want to use a virtual machine monitor on top of genode to run virtual machines , i copied the files ob repos/ports/run/*run on the / folder and the following changes were made root@...115...:/# ls bin initrd.img.old root sys boot iso run tmp cdrom lib sbin tz_vmm.run dev lib64 seoul-auto.run usr etc lost+found seoul-disc.run var genode-17.11 media seoul-fancy.run vmlinuz home mnt seoul-genode.run vmlinuz.old hypervisor NRE seoul-kernelbuild.run image.elf.gz opt seoul-net.run initrd.img proc src root@...115...:/# cat /etc/grub.d/49_genode1 #!/bin/sh -e echo "Genode@...153..." cat << EOF menuentry "Genode@...153..." { insmod ext2 multiboot /hypervisor module /seoul-auto.run module /seoul-disc.run module /seoul-fancy.run module /seoul-genode.run module /seoul-kernelbuild.run module /seoul-net.run #menuentry 'Genode on NOVA' { # insmod multiboot2 # insmod gzio # multiboot2 /boot/bender # module2 /hypervisor hypervisor iommu serial novpid novga module /image.elf.gz image.elf } root@...115...:/# but once i try to boot genode1nova , i can't launch it thank you 2018-02-10 9:23 GMT+00:00 Alexander Boettcher < alexander.boettcher@...1...>: > Hello, > > first, please, send to the mailing list. > > If you look into the repos/os/run/vmm.run file there are two asserts in > the beginning of the file. Namely you need the base-hw kernel and the > Arndale ARM board to run this scenario. If you don't have such a board > next to you, it is of no use for you. > > The VMMs we support on x86 are Seoul and Virtualbox. Both got ported to > Genode, thats why they are located in the port repository. So, if you > look into > > repos/ports/run/*.run > > you will find some seoul*.run scenarios and virtualbox.run. > > Again, send your questions to the mailing list, since others may also > benefit from the conversation. > > Cheers. > > > On 09.02.2018 12:09, jony jony wrote: > > Hello, i'm sorry for the late answer ,i gave up for a while , > > I managed to run genode using the demo on a virtual machine , would the > vmm > > be able to run on the virtual machine too ? , i tried it on a nested vm > and > > a message "require hw" appears , if its possible to run it on the virtual > > machine , can you please guide me through the steps i need to follow . > > here's the content of the run folder > > run# ls > > ahci_bench.run init.run rtc.run > > ahci_blk.run init_smp.run sd_card_bench.run > > audio_out_click.run input_filter.run sd_card.run > > blk_cache.run input.run signal.run > > blk.run kdb_uart_drv.run tar_rom.run > > bomb.run loader.run terminal_crosslink.run > > clipboard.run lx_block.run thread_join.run > > cpufreq.run mixer.run timed_semaphore.run > > cpu_quota.run nic_loopback.run timeout.run > > demo.run panda_uart4_echo.run timer_accuracy.run > > dynamic_config_loader.run part_blk_gpt.run timer.run > > dynamic_config.run part_blk.inc trace.run > > dynamic_config_slave.run part_blk.run tz_vmm.run > > fault_detection.run pci.run uart.run > > fb_bench.run pointer.run usb_block.run > > framebuffer.run ram_fs_chunk.run vfs_stress_fs.run > > fs_log.run report_rom.run vfs_stress_ram.run > > fs_report.run resource_request.run vmm.run > > fs_rom_update.run resource_yield.run weak_ptr.run > > gpio_drv.run rom_blk.run xml_generator.run > > gpio_led.run rom_filter.run xml_node.run > > gpio_signal.run rom_to_file.run > > > > thank you > > > > 2018-01-15 19:50 GMT+00:00 Alexander Boettcher < > > alexander.boettcher@...1...>: > > > >> Hello, > >> > >> On 11.01.2018 15:00, jony jony wrote: > >>> I'm new at genode , i just booted genode 17.11 with a nova kernel based > >> on > >>> the demo from the hard disk, i was wondering how can i run a seoul or > >> xbox > >>> vmm on top of genode since genode only has the launchpad in the demo > and > >> i > >>> don't think i can do much with that. I want to be able to use genode > >> freely > >> > >> please look for *.run files, which build and configure a scenario (as > >> the demo.run file you already used). You will find e.g. virtualbox.run > >> and some seoul*.run files. They may serve as starting point to > >> experiment with. > >> > >> Please also consult the Genode Foundations book, which describes the > >> framework and also run mechanism in more detail. > >> > >> Cheers, > >> > >> -- > >> Alexander Boettcher > >> Genode Labs > >> > >> http://www.genode-labs.com - http://www.genode.org > >> > >> Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden > >> Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth > >> > > > > -- > Alexander Boettcher > Genode Labs > > http://www.genode-labs.com - http://www.genode.org > > Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden > Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth >

3 3

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users