Re: Status of Sculpt on MNT Pocket Reform

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 GmbH

Announcement: Genode OS Framework version 24.05 released

- 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://genode.

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!

n 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, Christia

HP ZBook Fury 16 G10 Touchpad

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 -- Christian H

Re: I.MX8 evk

ull 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

chelmuth_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 provides an "exce

Re: Question about Core's Ability to Delegate Errors

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.social/@genode · https://genodians.

Re: Testing pc_linux image

ot=/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 Hope

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.social

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

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." Regards -- Christian Helmut

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

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 Dresden · HRB 28424 · Sitz Dresden Ges

Re: key..... lacks Qt mapping

vent_filter follows (can be found in the source tree at repos/gems/sculpt/event_filter/pc). ... ... The chargen files are located in repoos/src/server/event_filter/ resp. the genodelabs/src/event_filter archive.

Re: Sculpt packages request

want 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

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 GmbH ·

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

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-labs.com/ · https://g

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

age? 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://genodians.org/ Genode La

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

> 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.org/

Re: Sculpt 23.10 Release Candidate

ve 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 adding the approp. dr

Sculpt 23.10 Release Candidate

the "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

t_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 · Sitz Dresden

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 t

Re: Update generated dummies for wireguard

s 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 Dresden · HRB 2

Re: signal() genode support

able 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

rnel 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://genodians.or

Announcement: Sculpt OS 23.04 released

://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://www.genode

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

unction 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://genode.

Re: Regarding ARM on Genode virt_qemu_arm_v8a

hy 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 Genode Labs

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

og 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 -- Christian Helmuth Ge

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/ Geno

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 Genode

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

le 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 · Amts

Re: Restarting siblings vs. restarting nieces

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 the VFS plugin misses

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/Geno

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'd like to ask you

Re: fec_nic_drv no packet ever send on imx8mm

at 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

s 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 GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresd

Re: Roadmap 2023

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 28424 · Sitz Dresden Geschäftsführer: Dr.-In

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

n 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 -- Christian Helmuth Genode Labs https:/

Announcement: Genode OS Framework version 22.11 released

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äftsführer: Dr

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

ed 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://genodians.org/ Genode

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

chip 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 https://

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) refer to ori

Re: Missing pc_usb_host_drv and usb_hid_drv

. 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/GenodeLabs · https

Re: using a C library within a VFS plugin

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/GenodeLab

Re: using a C library within a VFS plugin

istian 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 H

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

acktrace. 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 · https://genodians.org/

Re: Compile error in Foundations book

> 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 -- Christian H

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

ng 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 · Amtsgericht Dresde

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

epot 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 Dresden · HRB 2842

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 -- Christ

Re: Unable to run prepare_port for "libc" target

2295187d05c288250800cb152a889b_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 · Sitz Dresden Gesc

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

xperience 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)

[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. Best regards --

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

. 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. N

Re: testing genode on sel4

mple 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 those a

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

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://youtu.be/fMahg-01Qbw Regards

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

ill 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 configurat

Re: native gcc and external image mount example

rovide 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. Regards -- Christian He

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

- 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.-Ing. Norman Feske, Christian Helmuth

Re: Silly Sculpt Build Problem

-v xorriso} tclsh> exec bash -c "command -v xorriso" /usr/bin/xorriso tclsh> "command" is an bash built-in command and can't be executed by Tcl/Expect directly. With the following small change to the line above your second patch is unnecessary. if { [catch {set p

Re: usb_modem and mbimcli

to a iMX8m mini, which uses the same > `usb_host_drv` as the iMX6q sabrelite. The message comes from cdc-wdm.c that also includes the following comment, which hints a temporary (?) USB stall. * Avoid propagating -EPIPE (stall) to userspace since it is * better handled as an empty read

Re: Getting Started with Genode

Resource assignment" [2] in the Genode Foundations book for a thorough explanation. [1] https://genode.org/documentation/genode-foundations/21.05/architecture/Resource_trading.html [2] https://genode.org/documentation/genode-foundations/21.05/system_configuration/The_init_component

Re: I need your opinion please help me

started/Hello_world.html#Building_the_component for reference. The run script can be executed from within the build directory via the command: make run/hello KERNEL=linux BOARD=linux Greets -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.

Re: ASAP Please Help Me (I'm in intern but know nothing about GENODE)

tion/genode-foundations/21.05/getting_started/index.html Regards -- 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 G

Re: link error when trying to run XS JavaScript engine

-Wl,--dynamic-list=/home/connolly/projects/goa/share/goa/ld/genode_dyn.dl -Wl,--eh-frame-hdr -Wl,-rpath-link=. -Wl,-T -Wl,/home/connolly/projects/goa/share/goa/ld/genode_dyn.ld [...] Please retry without the duplicate and report back. Greets -- Christian Helmuth Genode Labs https:/

[seL4] Re: seL4 Linux guest mmap() crashes the VM

ck OVerflow [4]. [1] https://github.com/hackndev/tools/blob/7ed212230f8fbb1da3424a15ee88de3279bf96ec/devmem2.c#L75-L76 [2] https://github.com/hackndev/tools/blob/7ed212230f8fbb1da3424a15ee88de3279bf96ec/devmem2.c#L63 [3] https://github.com/dwks/pagemap [4] https://unix.stackexchange.com/q/624746/

[seL4] Re: seL4 Linux guest mmap() crashes the VM

his guest mmap() is crashing the VM? Memory address is valid > (just guest user space process stack). This is because you requested the guest OS to access invalid physical memory (with root privileges). Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.o

Re: Error: LD: symbol not found: '__data_start'

)(p); > } How do you think about the following fix in this cloudy situation? 1. Define __data_start to nil like it's done for _AIX 2. Accept __etext that is already provided by genode_dyn.ld Greets -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.c

Re: Error: LD: symbol not found: '__data_start'

root_cap : { /* * Leave space for parent capability parameters at start of data Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresde

Re: 21.05 toolchain C tls variables compilation problem

l") in combination with emutls. Regards -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-I

Re: 21.05 toolchain C tls variables compilation problem

__thread variables > in 10.3? Do you also see this error with a Linux-native GCC 10 tool chain? BTW, may the GCC community (or even Stackoverflow) be a much better place to ask this general question than this mailing list? I doubt we have to offer many GCC experts in the Genode crowd. G

Re: depot/extract: make: execvp: bash: Argument list too long

Does this happen only with PREPARE_PORTS=1? In my opinion a proper fix that prevents exceeding command line arguments is much appreciated and could serve as valuable blueprint in other places too. It sounds like the issue needs a mechanism similar to the xargs tool. Regards -- Christian Helmu

Announcement: Genode OS Framework version 21.05 released

-LTS board - New tools for porting Linux drivers The complete release documentation can be found at the usual place https://genode.org/documentation/release-notes/21.05 Happy hacking -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/

Re: I am having some strange difficulty formatting a GPT partition within Sculpt

duced is unbootable. Is > there a guide or article somewhere describing how to properly build > a Sculpt image? I must be making a silly mistake somewhere. With pleasure I'd like to refer you to https://genode.org/documentation/articles/sculpt-21-03#Building_the_boot_image Greets -- Christian H

  1   2   3   4   5   6   >