Re: Errors when adding part_blk to sculpt scenario

I had to subtract the quotas for part_blk from the vfs quotas. That solved the problem for me. On Tue, May 15, 2018, 4:27 AM Boris Mulder wrote: > On 15-05-18 08:08, Norman Feske wrote: > > I am not able to dive deep into it, but suspect that the > > session-creation

Re: Sculpt TC - Error Building "image/disk"

That's strange. I don't have that problem on Debian Stable. On Tue, Jun 5, 2018, 5:01 PM John J. Karcher wrote: > Hello, > > I am happy to report a very smooth initial experience with Sculpt TC > running in VirtualBox. I followed the tutorial (skipping the parts > about virtualization, of

Re: Definition of ram quota

What you're seeing is the difference between the regular init start node format and the depot runtime/init format. The depot format is designed to be shorter, while the init format is designed to be more flexible and is older. Making them the same would require making the depot format more

Re: ARM/sel4 compatibility

Have you prepared the sel4 port? You need to prepare it before building it. Also, can you verify that you can compile Genode/seL4 for x86? On Mon, Aug 6, 2018, 8:26 AM Edward Sandberg wrote: > Hello, > > Can someone please provide an up-to-date ARM hardware compatibility list > for Genode

Re: Sculpt/wifi_drv regression: no IP address

Okay, it looks like I missed that earlier. Is there an issue open on GitHub? On Fri, Aug 31, 2018 at 2:05 AM Josef Söntgen < josef.soent...@genode-labs.com> wrote: > Hello Ben, > > * Nobody III [2018-08-30 23:38:47 -0600]: > > > I updated to the 18.08 Genode relea

Re: some recipe hashes need to be updated

It looks like the tar file that I attached requires a moderator's approval. If you can't approve it, I'd recommend that you inspect qt5_dejavusans.tar from depot.genode.org. And yes, the commit you linked to was exactly what I was referring to. On Wed, Sep 5, 2018 at 11:22 AM Nobody III wrote

missing symbols for qt5_widgets

When linking object code that includes a custom subclass of QPlainTextEdit, I get the following error: undefined reference to `typeinfo for QPlainTextEdit' I have been able to solve this problem by keeping more of the qt5_widgets symbols than those available in the depot API package, which are

Re: Sculpt/wifi_drv regression: no IP address

I opened an issue on GitHub: https://github.com/genodelabs/genode/issues/2973 On Fri, Aug 31, 2018 at 1:33 PM Nobody III wrote: > Okay, it looks like I missed that earlier. Is there an issue open on > GitHub? > > On Fri, Aug 31, 2018 at 2:05 AM Josef Söntgen < > josef.soent.

Sculpt/wifi_drv regression: no IP address

I updated to the 18.08 Genode release, built a Sculpt image, then booted it on my Dell Latitude 6430u laptop. I discovered that the WiFi driver, which worked in 18.05 (Sculpt TC) no longer works properly. In particular, the WiFi driver detects the access points and can connect to them, but doesn't

Genode on AMD SB7x0/SB8x0/SB9x0

I've had issues with interrupts on Genode on my desktop computer with an AMD chipset. In particular, the USB and AHCI drivers both get stuck waiting for interrupts. However, the VESA framebuffer driver works fine. I have tried using ACPICA to solve my issues, but with no success. I recently

Re: Parallel ports

What part of Sculpt depends on IOMMU hardware? I'm asking because I'm trying to debug interrupt-related issues with the IOMMU disabled to simplify things. On Fri, Jul 6, 2018 at 3:58 AM, Emery Hemingway wrote: > Ok, to clarify, anything with a parallel port is a no-go for Sculpt. Sculpt >

Re: scupt-tc real hardware: 0/3

What AMD FX hardware did you get to work? Mine seems to have ACPI/interrupt issues. Because of this, only output hardware works. I can use fb_drv, but not usb_drv, ahci_drv, or nic_drv. On Thu, Jul 5, 2018 at 10:25 PM, Paul Dufresne wrote: > > I'm not sure if the GMA 4500 video chip is

Re: Problem building src archive for component using Qt

I checked the repository for an update, and it still has no typeinfo for QPlainTextEdit. However, perhaps a seemingly insignificant modification I made in my code (e.g. changing a dynamic_cast to a static_cast) fixed the problem. On Tue, Oct 23, 2018 at 3:54 AM Pirmin Duss wrote: > Hello

Re: Multiboot with Genode Sculpt

After this upcoming release, I'd recommend using a dedicated Genode ext2 partition (which you can also use for Depot packages and other Sculpt files) with the grub files and image.elf.gz. Then use the "configfile" command in your main GRUB installation to chain-load the Sculpt grub.cfg file. On

Re: Hello, world!

You are absolutely correct about Genode being able to isolate critical code from non-critical code – that's one of its main purposes. Port files are only necessary to download external code. I'm not sure about your second question. In particular, noux was intended exclusively for ported

Re: Sculpt VC Depot Configuration

; > Hi Ben, > > > > On 02.10.2018 07:07, Nobody III wrote: > >> I'm not entirely sure why they're hardcoded, but > >> it's easy enough to copy the directory over yourself. > > > > just to clarify, the reason is given in the documentation [1], in the >

some recipe hashes need to be updated

I noticed while building Qt5 packages for Genode 18.08 that mesa and qt5_dejavusans needed their hashes updated before I could build them. Also, I couldn't prepare the fatfs port without updating the hash for ff13b.zip and then for fatfs.port. ___ Genode

Re: some recipe hashes need to be updated

I'm surprised that you can't reproduce the error, because I got it on both of my computers. I'm using the upstream branch on my own repo, but it's synced to 18.08, which is only 1 dde_linux-related patch behind master. On Mon, Sep 3, 2018 at 4:23 AM Christian Helmuth <

VFS Stat modes should include FIFO to match Dirent types

Currently, the VFS Dirent types listed in repos/os/include/vfs/directory_service.h include FIFO, while the Stat modes do not. I'm writing a transparent link VFS plugin, so I'm using stat() for the Dirent information, so I need this feature in order to avoid losing information. I'm also writing a

Sculpt USB Support

Currently, Sculpt doesn't show my USB flash drive nor accept input from my wireless mouse until a USB device is removed. When I remove one of the two USB devices, the other device starts working, and if I then plug the device back in, it starts working as well. I suspect this issue is due to a

Re: Roadmap 2019

I would like to second the journaling filesystem request, but add it toward the end of the priority list, considering its difficulty (which seems rather high, considering the lack of cross-platform support for most filesystems). My own research into this suggests that most filesystem drivers are

Re: Roadmap 2019

*Desktop Environment* I also see having a desktop environment as priority, and I have already made some progress in that direction. I have my plans along those lines, and if anyone wants to discuss details, I'd be happy to do so in another thread on this mailing list. However, I have run into

Re: prepare Qt5 port fails

Do we still need QtScriptClassic? If so, why? On Fri, Dec 7, 2018, 11:59 AM Johannes Kliemann Hi Pirmin, > > I can confirm this problem. Also I couldn't find this file at any place, > there > are multiple servers that show this file in the cache on Google but I > couldn't > find any that still

Re: My personal wishlist

I suppose we could use this mechanism, which we already use for ioctl, for several other file attributes as well, e.g. timestamps. We could put it all under a directory named .attrs-(filename). As for performance, the filesystem drivers could implement attribute access as separate files while

Re: can't run noux_bash on Genode/seL4

By the way, Genode's seL4 support is still incomplete, particularly with regard to resource management. Also, Genode on seL4 doesn't have enough capabilities (CAP) to run some of the more complex scenarios, e.g. Sculpt. On Fri, Jul 12, 2019, 7:09 AM Alexander Tormasov via users <

Re: Dynamic linker for child components | Genode 16.08 with Fiasco.OC

Well, I think the error is rather self-explanatory, as long as you understand what the dynamic linker is. It's a component/library for loading executables that are dynamically linked, including (almost) all Genode components, and its filename is "ld.lib.so". The error means your code tried to

Re: mystique error during app load

I'd highly recommend trying a different kernel if possible. NOVA and hw are the most reliable in my experience, followed by Linux and FOC. For x86_64, at least, seL4 support seems to come in last for me. Plenty of run scripts work on NOVA and hw but not on seL4, so I'd suggest you debug your

Qt5 build tools

I'm trying to port Qt5 software to Genode. The lack of qmake support is problematic, as most qmake project files I've encountered cannot be handled by GNU make as regular makefiles, which is the standard method used by Genode's build tools. Aside from qmake, the other most common build system I've

Re: Roadmap 2020

A simple improvement that I would love to see in leitzentrale is the ability to create launchers from the GUI. Aside from that, with the recent changes to libc, has QProcess been enabled in Qt5? Because that's perhaps the biggest remaining issue in porting existing Qt software, if the new SDK

Re: Shutdown

It seems like it would still be good to make the USB driver restartable, and have the ability to do simulate disconnecting then reconnecting individual devices as well. On Fri, Apr 17, 2020, 9:07 AM Norman Feske wrote: > Hi Colin, > > > 1) I have been using Sculpt on real hardware. What I do

Re: Warning messages

That's normal. On Mon, Apr 20, 2020, 8:59 AM Shlomo Pongratz wrote: > Hi, > > I'm running the downloaded sculpt-20.02.img according to > https://genode.org/download/sculpt > > qemu-system-x86_64 -display sdl -cpu core2duo -machine q35 \ > -m 1024 -drive

Re: Partitioning Fun Finale (Re: I am having some strange difficulty formatting a GPT partition within Sculpt)

Or you can just mount it and copy the files as long as you're sure to make the EFI partition correctly. That's what I did most recently. On Wed, Jun 2, 2021 at 4:21 PM baconicsynergy--- via users < users@lists.genode.org> wrote: > It seems my plans for Genode to fit in my partition scheme can

Re: problem with permanent modification on Sculpt

That sounds like a lack of support for your SATA controller. I've seen that on my own computers. On Sun, Feb 21, 2021, 1:04 AM Edoardo Mantovani < mantovani.edoard...@gmail.com> wrote: > Hi Norman, > Thanks for the reply, but I have tried Also this before, result: storage > doesn't show

Re: problem with permanent modification on Sculpt

There was a regression in the SATA driver a while back, when the driver was rewritten, and my AMD B450 SATA controller stopped working. I tried to find it back then, but couldn't. I drifted away from Genode development after that, but I still follow the project. On Mon, Feb 22, 2021, 9:58 AM

Re: Questions regarding Issue #4323

There are lots of things to work on. For example, the current AHCI driver doesn't work on AMD hardware that I have tried it on. To be clear, I've tried to solve this, but haven't succeeded yet. I have other stuff to work on for school and personal projects, so I'm not sure when I might get around

Re: Building a computer to run sculpt

I've personally had success with a cheap PCI serial card, so I really wouldn't worry about AMT. On Tue, Apr 26, 2022, 3:13 AM Josef Söntgen wrote: > Hello Pirmin, > > > From the unofficial Genode HCL (http://usr.sysret.de/jws/genode/hcl.html) > I > > would guess a 10th generation Intel with

Re: Properly shutting down

Try running acpica (from genodelabs repo IIRC). That handles stuff like shutting down the system. On Thu, Dec 29, 2022 at 5:41 PM Will Senn wrote: > OK. I give up. After watching videos and reading reams of documentation, > I'm not able to get Sculpt to shutdown. I can get it to reset - via: >

Re: open/ close/ read

I remember this issue years ago. Basically, the libc read()/write() functions didn't loop until they finished reading the number of bytes specified. While that behavior may technically meet POSIX standards, it isn't standard behavior. Incomplete reads and writes normally only happen with special

Re: open/ close/ read

I'm sorry for misusing the term "standard behavior". I should have said "typical behavior". On Wed, Feb 7, 2024 at 1:20 AM Michael Grunditz wrote: > In message <20240207074350.gb2...@genode-labs.com> > Christian Helmuth wrote: > > > Hello Michael, > > > On Tue, Feb 06, 2024 at

Re: Question about Core's Ability to Delegate Errors

This is a bit of a tangent, but could the existing mechanisms be used to efficiently implement memory over-provisioning for non-critical processes, disk swapping, and copy-on-write page tables for a faster fork() implementation? On Thu, Mar 7, 2024, 12:11 AM Christian Helmuth <