users

users@lists.genode.org

1 participants
2310 discussions

[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

Bender and GRUB "legacy"
by Valery V. Sedletski 19 Feb '18

19 Feb '18

Hi, I tried to boot Genode scenarios from my bootable flash stick. It uses GRUB 1 "Legacy".Â Tried to boot Genode/Nova with bender with GRUB "legacy" (actually, GRUB4DOS). I have the following entries in menu.lst: titleÂ Sculpt scenario (Genode/Nova) kernel /genode/bender module /genode/hypervisor hypervisor iommu serial novpid novga module /genode/sculpt/image.elf image.elf This scenario just hangs when booting. Does this work with GRUB2 only? In GRUB2, I see loading the "multiboot2.mod" module. Is this a new version of Multiboot protocol? Could Bender work with older version of multiboot protocol? Or, is it possible to use Genode/Nova without Bender somehow with GRUB1? Also, is it possible for Genode build system to avoid assembling all modules into image.elf, so I could load them separately as multiple modules? (at least, older Genode versions did so) 10nx in advance! WBR, valery

1 0

Problem building vmm; Error: Hash sum check for acpica failed
by jony jony 19 Feb '18

19 Feb '18

I'm trying to use a vmm on nova , and i can execute the following command due to an integrity problem i guess. I need help solving this problem I tried to build the vmm , the same goes with tz_vmm , using the command root@...115...:/genode-17.11/nova_build_dir# make run=vmm i'm guessing since there is a makefile its already compiled , and it worked using the demo and terminal_crosslink ( even though i couldn't really launch terminal_crosslink) it shows few lines but at the end i get the error : Error: Ports not prepared or outdated: acpica bzip2 ccid curl drm e2fsprogs-lib exfat expat fatfs freetype fribidi fuse-ext2 gmp icu jbig2dec jitterentropy jpeg libav libc libiconv libpng libssh libusb lua lwip mesa mpc mpfr mupdf ncurses ntfs-3g openjpeg openssl pcg-c pcre pcsc-lite python qemu-usb qoost qt5 readline rust sdl sdl_image sdl_mixer sdl_net sdl_ttf stdcxx zlib You can prepare respectively update them as follows: /genode-17.11/tool/ports/prepare_port acpica bzip2 ccid curl drm e2fsprogs-lib exfat expat fatfs freetype fribidi fuse-ext2 gmp icu jbig2dec jitterentropy jpeg libav libc libiconv libpng libssh libusb lua lwip mesa mpc mpfr mupdf ncurses ntfs-3g openjpeg openssl pcg-c pcre pcsc-lite python qemu-usb qoost qt5 readline rust sdl sdl_image sdl_mixer sdl_net sdl_ttf stdcxx zlib make[1]: *** [check_ports] Error 1 make: *** [gen_deps_and_build_targets] Error 2 i tried running the command but i get the following error message: root@...115...:/genode-17.11/nova_build_dir# /genode-17.11/tool/ports/prepare_port acpica bzip2 ccid curl drm e2fsprogs-lib exfat expat fatfs freetype fribidi fuse-ext2 gmp icu jbig2dec jitterentropy jpeg libav libc libiconv libpng libssh libusb lua lwip mesa mpc mpfr mupdf ncurses ntfs-3g openjpeg openssl pcg-c pcre pcsc-lite python qemu-usb qoost qt5 readline rust sdl sdl_image sdl_mixer sdl_net sdl_ttf stdcxx zlib Error: Hash sum check for acpica failed make[2]: *** [acpica.file] Error 1 make[1]: *** [_install_in_port_dir] Error 2 make: *** [acpica] Error 2 I'll be waiting for you answer Thank you

2 2

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users