Re: GUI Incompatible with Genode 25.05?

tible to the latest Goa. Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genodians.org/ https://de.linkedin.com/company/genodelabs Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsfüh

Announcement: Genode OS Framework version 25.05 released

25.05 here https://genode.org/documentation/release-notes/25.05 Best regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genodians.org/ https://de.linkedin.com/company/genodelabs Genode Labs GmbH · Amtsgericht Dresden · HRB

Sculpt 25.04 Release Candidate

de.discourse.group/ Happy sculpting! Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genodians.org/ https://de.linkedin.com/company/genodelabs Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschä

Re: Roadmap 2025

ential to address PC platform issues early at boot time. Genode at the end of 2025 In 12 months, I hope to use Sculpt on base-hw for my own and other recent notebooks (Meteor Lake or even Lunar Lake) to its full potential (incl. IPv6 ;-). Best regards -- Christian Helmuth Genode Labs https:/

Re: Terminal session raw and unbuffered

e vfs_terminal plugin, I'd suggest to start with a dedicated vfs_chardev implementation for your specific use case and check for similarities to vfs_terminal later. Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode

Re: missing content on index for my latest genodians.org post

t file. AFAIK the byte sequence produces garbage in Latin1 and Windows-1252. [1] https://en.wikipedia.org/wiki/Byte_order_mark Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genodians.org/ Genode Labs GmbH · Am

Re: Sculpt OS talk on Sept 21st at Datenspuren 2024 in Dresden

stream most of the program live and also provide recorded versions after the event [1]. [1] view-source:https://datenspuren.de/2024/#schedule "Aufzeichnungen" Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https:

Re: Pinebook Pro

Hello Michael, On Mon, Aug 19, 2024 at 20:53:29 CEST, Michael Grunditz wrote: > I thought that it would be cool to have Genode on Pinebook Pro ( RK3399) That's great! Looking forward to hear the complete story ;-) Best regards -- Christian Helmuth Genode Labs https://www.genode-

Re: Genodians.org is giving 403 forbidden

ppliance, experiences quite some interruptions and is restarted regularly. The issue is hidden deep in the libc / networking forest and we are next to seek... BTW, genodians.com is not related to the Genode project. Greets -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://ge

Re: Goa - How to satisfy find_package()?

.net/man/3/shm_unlink> Our C runtime does not support shm shared-memory objects currently. Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genodians.org/ Genode Labs GmbH · Amtsgericht Dresden ·

Re: File vault performance

replanning future file-vault activities as the main developer left the team after he passed the baton on to me. Also for me, the vault is a valuable asset of Genode but I've to admit that other tasks enjoy higher priority currently. Regards -- Christian Helmuth Genode Labs https://www.genode-lab

Re: Pull requests. Staging or Master branch?

genodelabs/master. I hope I addressed the ambiguity in my description above. [1] https://genode.org/documentation/genode-foundations/24.05/development/Git_flow.html Best regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · http

Re: Pull requests. Staging or Master branch?

we don't use MarkDown at any place currently. Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genodians.org/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. No

Re: Native SVG icon rendering instead of rasterizing? Who is responsible for GUI design?

ts.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/message/QJ53TL2ABY4CNNNIZA5FIRGFJLDXIERW/ -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genodians.org/ Genode Labs GmbH · Am

Re: Native SVG icon rendering instead of rasterizing? Who is responsible for GUI design?

ative work. https://creativecommons.org/licenses/by-sa/4.0/legalcode Greets -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genodians.org/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: D

Re: Status of Sculpt on MNT Pocket Reform

e get our hands on one of those devices, we are going to look deeper into SoC as well as peripheral support and make Sculpt fit for it. Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genodians.org/ Genode Labs

Announcement: Genode OS Framework version 24.05 released

t OS 24.04 - Annual update of the "Genode Foundations" book Detailed release documentation for the version 24.05: https://genode.org/documentation/release-notes/24.05 Best regards and have fun Christian -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https

Re: It is good to be back. I'm experimenting with building and running Sculpt OS, but I cannot get networking to function when running it on my Linux machine. I would love some help!

it in a x86 VM oder natively on an Intel PC. Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genodians.org/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Chr

HP ZBook Fury 16 G10 Touchpad

d the config attributes of your device. As you may already anticipate the manual discovery of the touchpad configuration is just an intermediate annoyance with the experimental touchpad support. In the future, these information will be automatically read via ACPI functions. Regards -- Christ

Re: I.MX8 evk

part number I do not have access to the hardware currently but from the order documents we use the following devices (which differ only slightly in MIPI-DSI configuration). MCIMX8M-EVK MCIMX8M-EVKB Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/

Sculpt 24.04 Release Candidate

ot.genode.org/chelmuth/image/sculpt-pc-2024-04-19.img.xz https://depot.genode.org/chelmuth/image/sculpt-pc-2024-04-19.zip Note that the depot is now "chelmuth" and the alpha versions from "chelmuth_test" are no longer available. Happy sculpting over the weekend! Regards -- Chr

Re: Sculpt 24.04 alpha testing

get debugging) - Prevent "fcntl(): command 0xc not supported" diagnostic messages Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genodians.org/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dres

Re: Sculpt 24.04 alpha testing

es (PL2303 serial) on older machines - Probe PS/2 controller before use (prevents infinite loops) - Falkon web browser preset tweaks Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genodians.org/ Genode Labs Gm

Sculpt 24.04 alpha testing

h_test of the Sculpt installation. Happy Sculpting Christian -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genodians.org/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing.

Re: Question about Core's Ability to Delegate Errors

I have to correct myself... On Thu, Mar 07, 2024 at 08:04:59 CET, Christian Helmuth wrote: > and contains the current exception in 'Cpu_state::trapno' for x86 > [5], 'Cpu_state::cpu_exception' for arm v6/v7 [6], and seems to be > missing for arm v8. It seems ARMv8 pr

Re: Question about Core's Ability to Delegate Errors

s/base/include/spec/x86_64/cpu/cpu_state.h#L53 [6] https://github.com/genodelabs/genode/blob/716579b12f9c3425cd8533cc61d1af32905d02a0/repos/base/include/spec/arm/cpu/cpu_state.h#L70 Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.

Re: Testing pc_linux image

y0 root=/dev/ram ip=dhcp debug init=/bin/sh initrd=rootfs.cpio.gz initrd rootfs.cpio.gz boot " set fd [open "[run_dir]/boot.cfg" w] puts $fd $boot_cfg close $fd run_genode_until "init process" 1 puts stderr "ENTER COMMANDS NOW" interact

Re: Mailing List Migration on Thursday, February 8, 2024

Hello, if this email reaches you, the better part of the migration was successfully completed. We're still eliminating some minor defects and the web page will be updated today. Greets -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.s

Mailing List Migration on Thursday, February 8, 2024

/hyperkitty/list/users@lists.genode.org The old archive at https://lists.genode.org/pipermail/users/ will be frozen and preserved. All previous and future postings are available in the new archive. See you on Friday after the migration -- Christian Helmuth Genode Labs https://www.genode-labs.com

Re: open/ close/ read

el functions your code does not. Best regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genodians.org/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Chris

Re: open/ close/ read

t never spread misleading opinions as universal truth. [1] https://pubs.opengroup.org/onlinepubs/9699919799/ "Upon successful completion, fread() shall return the number of elements successfully read which is less than nitems only if a read error or end-of-file is encountered." Reg

Re: Getting screen coordinate of a window

is very even and nice situation some neon code made it 60fps. Our components use a simple blit library with implementations for several ISAs to push pixels to the framebuffer. #include LIBS += blit repos/os/src/test/fb_bench (example use case) Regards -- Christian Helmuth Genode Labs https:

Re: Roadmap 2024

evices with HID/CID PNP0F13 or PNP0F03 (mouse) resp. PNP0303 (keyboard). Greets -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genodians.org/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsfü

Re: Roadmap 2024

end of 2024? It would be great to conquer more devices of more people next year. Regards and Happy Christmas Christian -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genodians.org/ Genode Labs GmbH · Amtsgericht Dre

Re: key..... lacks Qt mapping

gure the event_filter config node correctly. A snippet from Sculpt /config/managed/event_filter follows (can be found in the source tree at repos/gems/sculpt/event_filter/pc). ... ... The chargen files are loca

Re: Sculpt packages request

t to build and publish all packages by yourself, which is always an option. Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genodians.org/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden

Re: Sculpt 23.10 Release Candidate

in nitpicker . For robustness, you may insert the following options into /config/event_filter into the node where nodes are defined. Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode

Re: Sculpt 23.10 Release Candidate

aged/event_filter to /config/ 2. Find line in /config/event_filter 3. Change to 4. Examine /report/log for the reported input events Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genodians.org/ Genode Labs G

Re: Sculpt 23.10 Release Candidate

resource request is not automatically solved. I increased the cap quota for usb_hid_drv and published a new RC image based on the current staging branch. Note, RC9 is just an image update, no depot archives changed from RC8. Regards -- Christian Helmuth Genode Labs https://www.genode-la

Re: Sculpt 23.10 Release Candidate

C8 from 2023-10-19 (available via the system update) currently, in which we address some GUI and networking issues. So, it would be great if you keep a wary eye on these aspects while using Sculpt. Thanks for your support and Happy Sculpting -- Christian Helmuth Genode Labs https://www.genode-l

Re: Sculpt 23.10 Release Candidate

Linux "sudo lspci -vvvnn -s 00:14.3", maybe notebook model if applicable)? [1] https://github.com/cnuke/dde_linux_firmware Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genodians.org/ Genode Labs GmbH

Re: Sculpt 23.10 Release Candidate

he correct Genode image? You may check the running version of Sculpt in the Leitzentrale panel under System -> Update. Which version does this dialog show? Greets -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genod

Re: Mounting ext2 filesystem fails

Now, I see the run script was also attached to your mail. Sorry for my sloppiness. -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://floss.social/@genode · https://genodians.org/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden

Re: Mounting ext2 filesystem fails

d_fragm_ipv4="yes" > quota="yes" > config="yes" > config_triggers="no" > link_state="yes" > link_state_triggers="no" > interval_sec="120"/> > > > > > > > > > > > >

Re: Sculpt 23.10 Release Candidate

On Thu, Oct 12, 2023 at 16:32:07 CEST, Pirmin Duss wrote: > With the new version of the image, nic_router gets the expected dynamic > IP-address assigned. That's great news! Happy Sculpting -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode

Re: Sculpt 23.10 Release Candidate

img.xz Maybe you have more luck with the new image. If not, keep us updated here. > The card is plugged to one of the PCIe ports, as the onboard controller is an > Intel IGC 2.5GB adapter. Did you make any progress with the IGC driver developments you started beginning of 2023? Maybe a

Sculpt 23.10 Release Candidate

"System -> Update" dialog in entry https://depot.genode.org/chelmuth of your current Sculpt installation. Alternatively, you may download the image from the following URL. https://depot.genode.org/chelmuth/image/sculpt-pc-2023-10-10.img.xz Happy Sculpting Christian -- Christian H

Re: Update generated dummies for wireguard

read_persistent_wall_and_boot_offset() -- weak -> read_persistent_clock64 -- weak Greets -- 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

Re: Update generated dummies for wireguard

On Mon, Jul 03, 2023 at 11:26:47 CEST, Christian Helmuth wrote: > Then, I noted that you wrote "RTC stub" and realized you may refer to > connecting wireguard/virt_linux to the Genode RTC service. In this > case, I'd like to ask if it may be less invasive to implement the

Re: Update generated dummies for wireguard

ystem. This subsystem is much more complex than just mapping some function to Rtc::Session::current_time(). Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · https://genodians.org/ Genode Labs GmbH · Amtsgericht Dresd

Re: signal() genode support

e for anyone in current genode release or it is necessary to > port from rust support? How about https://github.com/genodelabs/genode/commit/29238498b6e37aa504f285a23f103e950a243a43 which is on genode/master and also in 23.05? Greets -- Christian Helmuth Genode Labs https://www.genode

Announcement: Genode OS Framework version 23.05 released

SD rump kernel on RISC-V Read the complete release documentation for the version 23.05 here https://genode.org/documentation/release-notes/23.05 Best regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · https://ge

Announcement: Sculpt OS 23.04 released

. https://genode.org/download/sculpt Documentation including use and build instructions for Sculpt is available at the following pages. https://genode.org/documentation/articles/sculpt-23-04 https://genode.org/documentation/sculpt-23-04.pdf Happy sculpting -- Christian Helmuth Genode Labs https://

Re: Avoiding fetchurl restarts

shot timeouts. How about keeping the periodic timeout and handling the _initial_ state in Fetchurl_watchdog::_handle()? [1] https://github.com/genodelabs/genode/commit/7feea78991285c6c3b3c0f83659b80c62be0de77#r107606621 Regards -- Christian Helmuth Genode Labs https://www.genode-labs.c

Re: dde_linux port fatal error - sculpt for virt qemu riscv

all function as simple memory barriers. Finally, you have to instruct the compiler to lookup your new barrier.h when running for spec riscv in repos/dde_linux/lib/import/import-lxip_include.mk. Good luck Christian -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://ge

Re: Regarding ARM on Genode virt_qemu_arm_v8a

re, why do you think so? It's more important what happens after the runtime init log these messages. Did you try to enable verbosity in the Virtio driver (see https://github.com/genodelabs/genode/blob/master/repos/os/src/drivers/nic/virtio/README for details)? Regards -- Christian Helmuth G

Re: sculpt-22-10.img build crashing on splash screen "GENODE"

may share the log lines (and maybe info from 22.10/drivers/). For the USB issue log lines starting with [drivers -> usb_drv] are of interest. [1] https://www.asrockind.com/en-gb/IMB-195 [2] https://genode.org/documentation/articles/sculpt-22-10#Making_customizations_permanent Regards -- Chris

Re: sculpt-22-10.img build crashing on splash screen "GENODE"

so we can assess if it is supported by Genode principally? 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.-In

Re: base-hw running on a Cortex A7 processor?

> but I cannot exactly remember the context anymore. Also, we support the i.MX7 imx7d_sabre board that features two Cortex A7 CPU cores. Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · https://genodians.org/

Re: jitterentropy base genode nstime.h for virt riscv

e counter like TSC on x86. Unfortunately, I don't know about any RISC-V feature that could be used for this specific purpose or if RISC-V in general provides sufficient CPU Execution Timing Jitter for the jitterentropy library. [1] http://www.chronox.de/jent.html Regards -- Christian Helmuth G

Re: Running genode on QEMU having board support of raspberry pi for arm_v8.

uboot". Please follow his advice. 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

Re: Genode on ARM Systems

ossible ways Please see the following mailing-list thread. https://lists.genode.org/pipermail/users/2023-February/008394.html Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · https://genodians.org/ Genode Labs GmbH ·

Re: Restarting siblings vs. restarting nieces

g to heartbeats > but otherwise seem to be malfunctioning. Is the `vfs` plugin > mechanism designed to handle these outages? We refrained from implementing "probing" or "automatic retry" in many places where the it is hard to nail down a sensible default policy. I expect t

Re: First Rockchip port repo.

ps://preorder.pine64.org/ , you need to register in order to get one. > The enduser systems > aren't out yet. Thanks for the URL! I just applied for a pre-order board. Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com

Re: First Rockchip port repo.

unds easy to reproduce. Which hardware would you recommend? It seems the QuartzPro64 is not (resp. no longer) for sale. Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · https://genodians.org/ Genode Labs GmbH · Amtsgeric

Re: Restarting siblings vs. restarting nieces

> ``` > Kernel: init -> init -> fs_client1 -> ep: cannot send to unknown recipient > ... > Kernel: Cpu 0 error: re-entered lock. Kernel exception?! > ``` > > Would it make sense for me to create a simplified scenario of it to dig > into this behavior further? I

Re: fec_nic_drv no packet ever send on imx8mm

runtime? - Did you check that a minimal Linux with your configuration is able to drive the FEC? 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

Re: memcpy_cpu on 64bit arm

opments (i.e. source code) with the public it is hard to provide specific help. Any information which code is at 0x9f3f4 in ld.lib.so? Greets -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · https://genodians.org/ Genode Labs G

Re: Roadmap 2023

first non-fe80 IPv6 address (and the dancing kame [1]). [1] https://www.kame.net/ Best regards 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

Re: base-linux: LD: exception during program load

ce" which is documented in the man page like follows. ENODEV The underlying filesystem of the specified file does not support memory mapping. Did you log the file name of the Elf_file? Where is it located? What's the output of "objdump -p elf_file"? Greets -- Chr

Announcement: Genode OS Framework version 22.11 released

22.11 here https://genode.org/documentation/release-notes/22.11 Best 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äfts

Re: Regarding RISCV on genode virt_qemu_riscv

bin - Do you use Qemu from your Linux distribution or did you build it manually? - If manually built, which configuration did you choose when building? Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · https://genodians

Re: Test Genode on RISC-V from release notes Failed

culpt 22.10). Extended RISC-V board support is implemented in a dedicated genode-riscv repository [1]. [1] https://github.com/genodelabs/genode-riscv/ Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · https://gen

Re: dde_linux: trying to port the emmc for arm_v8a driver from linux

n irqchip repos/zynq/ repos/zynq/src/drivers/sd_card/zynq/source.list:18:drivers/irqchip/irqchip.c [1] https://github.com/genodelabs/genode-zynq/blob/master/ports/xilinx_linux.port [2] https://github.com/Xilinx/linux-xlnx/blob/xilinx-v2021.2 Happy hacking -- Christian Helmuth Genode Labs htt

Re: Missing pc_usb_host_drv and usb_hid_drv

Unfortunately, I made a mistake while transferring the command line below from my tests to my reply. On Fri, Aug 26, 2022 at 11:42:03 CEST, Christian Helmuth wrote: > git checkout -b 21.05 This must read 'git checkout -b 21.05 21.05'. Otherwise, the new branch while (again) re

Re: Missing pc_usb_host_drv and usb_hid_drv

your setup. Let's keep further discussiosn on this list. [1] https://github.com/genodelabs/genode/issues/4593 [2] https://github.com/nfeske/genode-manual/pull/9 Best Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/Gen

Re: using a C library within a VFS plugin

le-swtpm) naturally requires LibC and a network stack to my understanding. Note, I did not check transitive dependencies resulting in wolfcrypt. [1] https://github.com/wolfSSL/wolfTPM.git Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com

Re: using a C library within a VFS plugin

ds -- 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, C

Re: Error While genode for ARM generation

] Genode Commit 1996afa70ff430b01a9133d77ae8aa6925077952 https://github.com/genodelabs/genode/commit/1996afa70ff430b01a9133d77ae8aa6925077952 Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · https://genodians.org/ Genode

Re: Monitoring components for CPU/segmentation faults

en provide a stack backtrace. Back then, I always thought about logging the information, after your proposal I'm convinced using a Report session is much more appropriate. Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs

Re: Compile error in Foundations book

4. I > hope to turn it into a simple edge router for my home network... > When it works I want to do a genodians blog on it. Exciting, I'm looking forward to your experiences (especially as I spent some nights hacking APU2 back in 2018 but never finished the project). Regards -- C

Re: How to use virtio qemu nic?

run I tested the scenario just now and it worked. 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. Nor

Re: Problem in 22.05 compilation of scrcpy from world

_drv. Adding the following line to etc/build.conf should help. REPOSITORIES += $(GENODE_DIR)/repos/dde_ipxe Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · https://genodians.org/ Genode Labs GmbH · Amtsgeri

Announcement: Genode OS Framework version 22.05 released

-notes/22.05 Happy hacking -- 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

Re: error in building boot image Sculpt OS

ground on the depot tool please refer to https://genode.org/documentation/developer-resources/package_management Greets -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · https://genodians.org/ Genode Labs GmbH · Amtsgericht Dre

Re: error in building boot image Sculpt OS

into REPOSITORIES += $(GENODE_DIR)/repos/pc in your etc/build.conf and rebuild. Also, I'd like to suggest to not post screenshots of text but just copy the text into the email so it can be quoted in responses. This makes it easier for others to follow the discussion. Best regards -- C

Re: Unable to run prepare_port for "libc" target

1c527d1453e07372295187d05c288250800cb152a889b_src.txz contrib/libc-c7cd230b11ca71979f32950803bc78b45adfa0ce and retry. 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 · Si

Announcement: Sculpt OS 22.04 released

://genode.org/documentation/sculpt-22-04.pdf A ready-to-use disk image is provided at the Sculpt download page: https://genode.org/download/sculpt Happy Sculpting Christian -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · https

Re: Building a computer to run sculpt

ence with i7-1185G7 CPUs is quite good and Sculpt 22.04 runs on it out of the box including VirtualBox 6. 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 ·

Re: users Digest, Vol 48, Issue 9

to other ongoing > developments. We will consider this tip for future publications. 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 Dres

Re: Design Question about implementing RPC on top of IPC

articles/sel4_part_2#Translation_of_capabilities_aka__unwrapping_ 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: D

Re: Sculpt OS 22.04 Release Candidate (RC)

ory > [Linux] 21 | #include > [Linux]| ^~~ > [Linux] compilation terminated. Interestingly the Linux kernel build seems to depend on the "libssl-dev" Debian package. After "apt install libssl-dev" the build should succeed. Be

Sculpt OS 22.04 Release Candidate (RC)

/8ece2366354c941ad2206f3d511cd75a1065bb75 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

Re: Testing genode on sel4 blocked by sdl

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:

Re: testing genode on sel4

;A simple system scenario" (online at the following URL) and replace "nova" by "sel4" in the microkernel section. https://genode.org/documentation/genode-foundations/21.05/getting_started/A_simple_system_scenario.html Please feel welcome to ask further questions when th

Re: Build errors while adding a new func to Region Map

, you had to adapt the symbols spec to fit the vtable, but had not to add another global function. [1] https://genode.org/documentation/genode-foundations/21.05/getting_started/Hello_world.html [2] https://genode.org/documentation/release-notes/17.02#Genode_Application_Binary_Interface https:/

Re: SYMBOLS / check_abi mechanism

it. Hope this helps. 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üh

Re: native gcc and external image mount example

his will not work. Please, configure different ports (or just one if you don't need the VFS component, which failed to setup its connection anyway. 2. You mention "localhost " but the tcp_terminal should be listening on 10.0.3.2 according to the log. 3. As the

Re: native gcc and external image mount example

it may be good to provide one in the of tcp_terminal. Let's look into tcp_terminal.run. The configuration defines a policy for test-terminal_echo that can easily be changed to the demands of your scenario. or even I hope this helps.

CfP: Microkernel and Component-based OS Devroom at FOSDEM 2022 (fwd)

listinfo/microkernel-devroom - End forwarded message - -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · https://www.genodians.org/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-

  1   2   3   >