users

users@lists.genode.org

2 participants
2322 discussions

Sculpt OS 22.04 Release Candidate (RC)
by Christian Helmuth 20 Apr '22

20 Apr '22

Hello community, today we published a Release Candidate of the Sculpt operating system for x86-PC. During the last months we worked hard to apply our reimagined Linux-device-driver environment also to PC devices and updated drivers for USB, Wifi, and Intel graphics to a recent Linux kernel version. This opens the prospect to support new PC platforms (speak recent notebook devices) more easily in future releases. The upcoming version of Sculpt replaces multiple integral device drivers at once. For this reason, we concluded to pre-release an RC and invite all Sculpt users to test it in their current setups. Please feel to report back any regression, flaw, or oddity on this list or the issue tracker over the next couple of days, so we can address them before the final release. The release candidate is based on the current master branch https://github.com/genodelabs/genode/commit/8ece2366354c941ad2206f3d511cd75… and can be downloaded as ready-to-use disk image from https://genode.org/files/sculpt/sculpt-22-04rc.img https://genode.org/files/sculpt/sculpt-22-04rc.img.asc (GPG signature) Happy testing Christian -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · https://genodians.org/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

7 9

Genode and Ansible/Salt
by reza.fathzadeh＠yahoo.com 13 Apr '22

13 Apr '22

Hello Genodians, A quick question: has there been any attempts to make Ansible/SaltStack work with Genode / SculptOS ?

4 4

Genode and OpenZFS?
by reza.fathzadeh＠yahoo.com 06 Apr '22

06 Apr '22

Hello Genodians, A second quick question in another thread: Does Genode /SculptOS support alternative file systems like ZFS/XFS/BTRFS?

2 1

Announcement: Genode OS Framework version 22.02 released
by Norman Feske 28 Feb '22

28 Feb '22

We just released Genode version 22.02 today. https://genode.org/news/genode-os-framework-release-22.02 One highlight of this version is the transformation of Sculpt OS into a framework for custom system images, thereby making Sculpt's flexible architecture easily available for the creation of special-purpose OS appliances. A first example of such an appliance is the bare-bones Sculpt OS version for the Pinephone that I demonstrated at my recent FOSDEM talk. Another example is the ability to run Sculpt OS atop Linux for rapid development and debugging. Another major feature is the new ability to use 3D acceleration for guest OSes running in VirtualBox 6. This became possible thanks to various optimizations and robustness improvements of the underlying Intel GPU stack. A third prominent topic is the continued work on device drivers. This time, we started to apply our new DDE-Linux approach to PC drivers, taking a fresh port of a USB host-controller driver as the first example. Another noteworthy driver-related development is the gained ability to access the modem on the Pinephone. Quick summary of the topics: - Framework for special-purpose Sculpt-based operating systems - First version Sculpt OS on the Pinephone - Sculpt OS running on the Linux kernel - Modularized source-code organization - Base framework and OS-level infrastructure - Tightened API and default warning levels - VFS plugin for packet-level network access - Black-hole server component - Device drivers - New Linux-device-driver environment for PC drivers - GPU-driver improvements - Pinephone modem access - Audio improvements and 3D acceleration for VirtualBox 6 - Completed C and stdc++ support for the RISC-V architecture The complete picture is given by the official release documentation: https://genode.org/documentation/release-notes/22.02 Have fun with exploring the new release! 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

Re: Hyperbola OS package (Arch based) for setting Genode development environment
by Sagar Acharya 22 Feb '22

22 Feb '22

Resolved the issue. I have made a package named genode-dev which you can check at https://notabug.org/sagaracharya/hyperbola_os . Steps to install. 1. Clone repo. 2. Go to directory of genode-dev. 3. makepkgOptional: If a dependency is not installed, go to that dependency's directory and use ../build.sh or makepkg You should be able to install it on systems with doas. It builds the toolchain which takes about 2.5 hours. To install on systems with sudo, edit genode-dev.install and remove SUDO=doas , use sha512sum genode-dev.install and update the sha512sums of PKGBUILD , and then use makepkg. Thanking you Sagar Acharya Feb 22, 2022, 22:50 by users(a)lists.genode.org: > Hey folks, > > I'm almost done with a PKGBUILD which would set up a Genode development environment for Arch like OSes. > > I'm facing the following error: > > ...installing tool chain to '/usr/local/genode/tool/21.05'... > bash: line 1: sudo: command not found > make: *** [tool/tool_chain:489: install] Error 127 > > Tool for preparing Genode build directories > ... > > Hyperbola uses OpenBSD's doas. I guess Genode uses sudo. Can someone please patch this for doas too? Once it's completed, it can be used by users of Archlinux, Hyperbola, Parabola OSes. > Thanking you > Sagar Acharya > > _______________________________________________ > Genode users mailing list > users(a)lists.genode.org > https://lists.genode.org/listinfo/users >

1 0

Hyperbola OS package (Arch based) for setting Genode development environment
by Sagar Acharya 22 Feb '22

22 Feb '22

Hey folks, I'm almost done with a PKGBUILD which would set up a Genode development environment for Arch like OSes. I'm facing the following error: ...installing tool chain to '/usr/local/genode/tool/21.05'... bash: line 1: sudo: command not found make: *** [tool/tool_chain:489: install] Error 127 Tool for preparing Genode build directories ... Hyperbola uses OpenBSD's doas. I guess Genode uses sudo. Can someone please patch this for doas too? Once it's completed, it can be used by users of Archlinux, Hyperbola, Parabola OSes. Thanking you Sagar Acharya

1 0

Re: Testing genode on sel4 blocked by sd
by Tao Heng 陶恒-SW 16 Feb '22

16 Feb '22

Hi Helmuth, thanks. I have updated my qemu to support the sdl and then the demo can be successfully ran on qemu base sel4 kernel. -----邮件原件----- 发件人: users-request(a)lists.genode.org [mailto:users-request@lists.genode.org] 发送时间: 2022年2月16日 19:00 收件人: users(a)lists.genode.org 主题: users Digest, Vol 46, Issue 10 Send users mailing list submissions to users(a)lists.genode.org To subscribe or unsubscribe via the World Wide Web, visit https://lists.genode.org/listinfo/users or, via email, send a message with subject or body 'help' to users-request(a)lists.genode.org You can reach the person managing the list at users-owner(a)lists.genode.org When replying, please edit your Subject line so it is more specific than "Re: Contents of users digest..." Today's Topics: 1. Re: Testing genode on sel4 blocked by sdl (Christian Helmuth) ---------------------------------------------------------------------- Message: 1 Date: Wed, 16 Feb 2022 11:51:53 +0100 From: Christian Helmuth <christian.helmuth(a)genode-labs.com> To: Genode users mailing list <users(a)lists.genode.org> Subject: Re: Testing genode on sel4 blocked by sdl Message-ID: <20220216105153.GA16415(a)genode-labs.com> Content-Type: text/plain; charset=utf-8 Hello Tao, On Fri, Feb 11, 2022 at 02:27:08 CET, Tao Heng ??-SW wrote: > spawn qemu-system-x86_64 -no-kvm -display sdl -serial mon:stdio -m 800 > -cdrom var/run/demo.iso -machine q35 -net nic,model=e1000,netdev=net0 > -netdev user,id=net0 > > qemu-system-x86_64: Display 'sdl' is not available. > > Aborting, received EOF > > Was my qemu tools not matching the genode version ? Any workaround > method to display the result ? It seems your Qemu does not support the SDL backend. Please try to comment out (or delete) the following line in <build-dir>/etc/build.conf. QEMU_OPT += -display sdl Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ ? https://genode.org/ https://twitter.com/GenodeLabs ? https://genodians.org/ Genode Labs GmbH ? Amtsgericht Dresden ? HRB 28424 ? Sitz Dresden Gesch?ftsf?hrer: Dr.-Ing. Norman Feske, Christian Helmuth ------------------------------ Subject: Digest Footer _______________________________________________ users mailing list users(a)lists.genode.org https://lists.genode.org/listinfo/users ------------------------------ End of users Digest, Vol 46, Issue 10 ************************************* 邮件免责申明 Email Disclaimer 本邮件仅供本邮件指定收件人使用，其所载内容可能因含有保密信息或其它原因而不得披露。除本公司及本邮件指定收件人外，任何人不得公开、传播、分发、复制、印刷或使用本邮件之任何部分或其所载之任何内容。如您误收到本邮件，请立即通知本公司，并将原始邮件、附件及其所有复本从系统中删除，切勿使用。 This email is for the use of the designated receivers only，and the content is not allowed to be disclosed due to the confidential information or other reasons. Except for the Company and the designated receivers of this email, no one shall disclose, disseminate, distribute, copy, print or use any part of this email or any content contained therein. If you receive this email by mistake, please notify the Company immediately, and delete the original email, attachments and all copies from the system. Do not use it. 网络通信可能含有计算机病毒或其它缺陷，可能无法准确和/或及时送达其它系统，亦可能受阻而不为本公司或本邮件指定收件人所知。本公司对此类错误或遗漏以及任何因使用本邮件而引致之任何损失概不承担责任。 Network communication may contain computer viruses or other defects, which may not be delivered to other systems accurately and / or in time, or may be blocked by the Company or the designated receivers of this email. The Company shall not be liable for such errors or omissions and for any loss arising from this email. 本邮件所载任何内容仅作为业务层面交流与参考，除非明确说明，本公司不对邮件所载内容之准确性、完整性或公平性等承担任何法律责任。 Any contents contained in this email are only for the purpose of business communication and reference only. Unless explicitly stated otherwise, the Company shall not assume any legal responsibility for the accuracy, completeness or fairness of the content contained in the email. 本邮件指定收件人应特别注意：本邮件所载任何内容不构成本公司对本邮件指定收件人和/或其所属商业实体的任何要约、要约邀请或承诺，任何权利义务皆以双方签字盖章的书面文件为准。除经本公司以签字盖章的书面文件确认外，收件人和/或其所属商业实体不得以本邮件所载任何内容作为其向本公司主张任何权利或利益的正式依据。 The designated receivers should pay special attention to the fact that nothing contained in this email shall constitute an offer, invitation or acceptance by the Company to the designated receivers of this email and/or its affiliated business entities, and any rights and obligations are subject to the written documents signed and sealed by both parties. Except from the written document signed ,sealed and confirmed by the Company, the receivers and / or its affiliated business entity shall not rely on anything contained in this email as the formal basis for claiming any rights or interests to the Company.

1 0

Testing genode on sel4 blocked by sdl
by Tao Heng 陶恒-SW 16 Feb '22

16 Feb '22

Hi genode developers, I was testing genode on sel4. After preparing the environment under the instructions ( https://genode.org/documentation/genode-foundations/21.05/getting_started/A…), I got this issue : make run/demo KERNEL=sel4 BOARD=pc including /home/kuang/workspace/genode/genode_master/tool/run/power_on/qemu including /home/kuang/workspace/genode/genode_master/tool/run/log/qemu including /home/kuang/workspace/genode/genode_master/tool/run/image/iso including /home/kuang/workspace/genode/genode_master/tool/run/boot_dir/sel4 including /home/kuang/workspace/genode/genode_master/repos/os/run/demo.run building targets: app/status_bar test/nitpicker spawn make app/status_bar test/nitpicker make[1]: 进入目录“/home/kuang/workspace/genode/genode_master/build/x86_64” checking library dependencies... Library ldso_so_support Library ld Library base Program app/status_bar/status_bar Program test/nitpicker/testnit make[1]: 离开目录“/home/kuang/workspace/genode/genode_master/build/x86_64” genode build completed checking configuration syntax CHECK init building targets: kernel/sel4 spawn make kernel/sel4 make[1]: 进入目录“/home/kuang/workspace/genode/genode_master/build/x86_64” checking library dependencies... make[4]: 对“default”无需做任何事。 Library kernel-sel4-pc Program kernel/sel4/sel4-pc make[1]: 离开目录“/home/kuang/workspace/genode/genode_master/build/x86_64” genode build completed using 'core-sel4.a' as 'core.a' install bootloader creating ISO image... xorriso 1.4.8 : RockRidge filesystem manipulator, libburnia project. spawn qemu-system-x86_64 -no-kvm -display sdl -serial mon:stdio -m 800 -cdrom var/run/demo.iso -machine q35 -net nic,model=e1000,netdev=net0 -netdev user,id=net0 qemu-system-x86_64: Display 'sdl' is not available. Aborting, received EOF Log step failed, retry. spawn qemu-system-x86_64 -no-kvm -display sdl -serial mon:stdio -m 800 -cdrom var/run/demo.iso -machine q35 -net nic,model=e1000,netdev=net0 -netdev user,id=net0 qemu-system-x86_64: Display 'sdl' is not available. Aborting, received EOF Log step failed, retry. spawn qemu-system-x86_64 -no-kvm -display sdl -serial mon:stdio -m 800 -cdrom var/run/demo.iso -machine q35 -net nic,model=e1000,netdev=net0 -netdev user,id=net0 qemu-system-x86_64: Display 'sdl' is not available. Aborting, received EOF Log step failed, retry. Boot process failed 3 times in series. I give up! Makefile:404: recipe for target 'run/demo' failed make: *** [run/demo] Error 255 Was my qemu tools not matching the genode version ? Any workaround method to display the result ? B.R. 邮件免责申明 Email Disclaimer 本邮件仅供本邮件指定收件人使用，其所载内容可能因含有保密信息或其它原因而不得披露。除本公司及本邮件指定收件人外，任何人不得公开、传播、分发、复制、印刷或使用本邮件之任何部分或其所载之任何内容。如您误收到本邮件，请立即通知本公司，并将原始邮件、附件及其所有复本从系统中删除，切勿使用。 This email is for the use of the designated receivers only，and the content is not allowed to be disclosed due to the confidential information or other reasons. Except for the Company and the designated receivers of this email, no one shall disclose, disseminate, distribute, copy, print or use any part of this email or any content contained therein. If you receive this email by mistake, please notify the Company immediately, and delete the original email, attachments and all copies from the system. Do not use it. 网络通信可能含有计算机病毒或其它缺陷，可能无法准确和/或及时送达其它系统，亦可能受阻而不为本公司或本邮件指定收件人所知。本公司对此类错误或遗漏以及任何因使用本邮件而引致之任何损失概不承担责任。 Network communication may contain computer viruses or other defects, which may not be delivered to other systems accurately and / or in time, or may be blocked by the Company or the designated receivers of this email. The Company shall not be liable for such errors or omissions and for any loss arising from this email. 本邮件所载任何内容仅作为业务层面交流与参考，除非明确说明，本公司不对邮件所载内容之准确性、完整性或公平性等承担任何法律责任。 Any contents contained in this email are only for the purpose of business communication and reference only. Unless explicitly stated otherwise, the Company shall not assume any legal responsibility for the accuracy, completeness or fairness of the content contained in the email. 本邮件指定收件人应特别注意：本邮件所载任何内容不构成本公司对本邮件指定收件人和/或其所属商业实体的任何要约、要约邀请或承诺，任何权利义务皆以双方签字盖章的书面文件为准。除经本公司以签字盖章的书面文件确认外，收件人和/或其所属商业实体不得以本邮件所载任何内容作为其向本公司主张任何权利或利益的正式依据。 The designated receivers should pay special attention to the fact that nothing contained in this email shall constitute an offer, invitation or acceptance by the Company to the designated receivers of this email and/or its affiliated business entities, and any rights and obligations are subject to the written documents signed and sealed by both parties. Except from the written document signed ,sealed and confirmed by the Company, the receivers and / or its affiliated business entity shall not rely on anything contained in this email as the formal basis for claiming any rights or interests to the Company.

2 1

nova serial log output
by Duss Pirmin 11 Feb '22

11 Feb '22

Hello Genodians I have a UP Xtreme board on which I want to run Genode on. it has a Intel core i7 8xxx [1]. This platform only supports UEFI boot. Starting Sculpt on the device from an USB stick works. The main problem I have currently, is that I do not receive any serial output from the kernel. I also tested with other run scripts like `run/log`. The device has two physical interfaces (COM1 & COM2) that I have enabled and configured, in the BIOS, to use the default IO/IRQ values for PCs. If I start Ubuntu on the device with enabled serial console for GRUB2 and the kernel, I see the corresponding output on my `picocom` session. Do you have any suggestions what could be the cause? Best regards, Pirmin [1] https://up-board.org/up-xtreme-edge-compute-enabling-kit/

3 4

testing genode on sel4
by Tao Heng 陶恒-SW 09 Feb '22

09 Feb '22

Hi there, My name is Tao as a fresh man to genode. I want to have a brief understanding of your work on porting genode on sel4. When starting to build your sel4 demo under the instructions of release note for 15.05 version: --------------------------------------------------------------- To give Genode a quick spin on the seL4 kernel, you may take the following steps: # Download the seL4 kernel !./tool/ports/prepare_port sel4 # Create a Genode build directory for seL4: !./tool/create_builddir sel4_x86_32 # Change to the build directory and start the _base/run/printf.run_ script: !cd build/sel4_x86_32 !make run/printf These steps did not work in the latest genode.git version or master, are there any more instructions for building genode on sel4 in master branch ? After the 15.05 version, there is no more information about this. B.R. 邮件免责申明 Email Disclaimer 本邮件仅供本邮件指定收件人使用，其所载内容可能因含有保密信息或其它原因而不得披露。除本公司及本邮件指定收件人外，任何人不得公开、传播、分发、复制、印刷或使用本邮件之任何部分或其所载之任何内容。如您误收到本邮件，请立即通知本公司，并将原始邮件、附件及其所有复本从系统中删除，切勿使用。 This email is for the use of the designated receivers only，and the content is not allowed to be disclosed due to the confidential information or other reasons. Except for the Company and the designated receivers of this email, no one shall disclose, disseminate, distribute, copy, print or use any part of this email or any content contained therein. If you receive this email by mistake, please notify the Company immediately, and delete the original email, attachments and all copies from the system. Do not use it. 网络通信可能含有计算机病毒或其它缺陷，可能无法准确和/或及时送达其它系统，亦可能受阻而不为本公司或本邮件指定收件人所知。本公司对此类错误或遗漏以及任何因使用本邮件而引致之任何损失概不承担责任。 Network communication may contain computer viruses or other defects, which may not be delivered to other systems accurately and / or in time, or may be blocked by the Company or the designated receivers of this email. The Company shall not be liable for such errors or omissions and for any loss arising from this email. 本邮件所载任何内容仅作为业务层面交流与参考，除非明确说明，本公司不对邮件所载内容之准确性、完整性或公平性等承担任何法律责任。 Any contents contained in this email are only for the purpose of business communication and reference only. Unless explicitly stated otherwise, the Company shall not assume any legal responsibility for the accuracy, completeness or fairness of the content contained in the email. 本邮件指定收件人应特别注意：本邮件所载任何内容不构成本公司对本邮件指定收件人和/或其所属商业实体的任何要约、要约邀请或承诺，任何权利义务皆以双方签字盖章的书面文件为准。除经本公司以签字盖章的书面文件确认外，收件人和/或其所属商业实体不得以本邮件所载任何内容作为其向本公司主张任何权利或利益的正式依据。 The designated receivers should pay special attention to the fact that nothing contained in this email shall constitute an offer, invitation or acceptance by the Company to the designated receivers of this email and/or its affiliated business entities, and any rights and obligations are subject to the written documents signed and sealed by both parties. Except from the written document signed ,sealed and confirmed by the Company, the receivers and / or its affiliated business entity shall not rely on anything contained in this email as the formal basis for claiming any rights or interests to the Company.

2 1

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users