users June 2024

users@lists.genode.org

11 participants
8 discussions

Use SculptOS as a server?
by Jack Curran 08 Jul '24

08 Jul '24

Hello, I am interested in the possibility of using SculptOS as a server? I am not sure how viable this is as I am still learning how to use SculptOS and what capabilities it has. But to me, it seems like the perfect server OS because it is focused on capability security and uses a micro kernel which has many benefits such as isolation/sandboxing and stability due to driver crashes being in user-space instead of kernel level etc. I was planning to use NixOS and run several docker containers as my home NAS and email server, however, I see no reason why I couldn't run docker containers in a virtual machine on Sculpt OS instead? Then it would be a lot more secure and an interesting project to try and use it as a server. I plan to use the HPE Proliant Microserver Gen10 Plus V2 which is an Intel based server computer. So it should be compatible with SculptOS.

5 6

Edit ram allocation to processes in Sculpt OS?
by Jack Curran 28 Jun '24

28 Jun '24

Hello, I've started using Sculpt OS and the integrated Falkon web browser. It frequently crashes when I have several tabs open, I believe this is because the ram it has been assigned is too small. I couldn't seem to find any mention of how to edit the ram allocated to processes in the Sculpt OS documentation? How do I dynamically edit the allocated ram to processes such as the Falkon web browser? When I am using the Leitzentrale and I click on the Falkon web browser, I can see it shows 1.95 GiB / 2.00 GiB, I am guessing this is the allocated ram? However I am only assuming this is the allocated Ram size as it does not specify what type of storage this is, i.e Hard Drive Storage or Ram Memory. The audio works in the browser too, I was able to play music in youtube music. However, the first couple times I tried playing any audio through Falkon, it didn’t work. I rebooted and started fresh RAM FS in an attempt to get audio working. For the first 2 or 3 times it didn’t work. I am not sure what I did differently, but on the 3rd time I tried and downloaded the Falkon browser, the audio suddenly worked. I was able to control the volume by editing the config audio XML file and saving it. I will need to do more tests to see if the audio not working was a fluke or I was doing something incorrectly before. Thank you, Jack Curran

3 4

Leitzentrale only displays NVME1
by Jack Curran 28 Jun '24

28 Jun '24

Hello, I have 4 NVME SSD's in my laptop. However, the Leitzentrale only allows shows me the NVME1 slot, but it will not display NVME2, NVME3 or NVME4 to select. I wanted to use a SSD that was in the 4 slot, so I physically had to swap the SSD in slot 4 with slot 1 with so I could select the desired SSD for sculptOS to format and use on the NVME1 slot. I am not sure if this is just a GUI bug, or if the other 3 NVME SSD's are simply not being detected by the OS? Thank you.

2 1

Using second block device
by mntn 21 Jun '24

21 Jun '24

I am testing out Genode Sculpt on a spare x86 machine and I ran into a question that doesn't seem to have a clear answer in the documentation. I am attempting to create the following setup: * All Genode/Sculpt software on removable USB boot drive * All virtual machine data on encrypted volume stored on NVMe From my experimentation, the default applications in the Leitzentrale seem to be focused around a single block device, the one you select for the depot with "use". Since I have the depot on USB, I'm unable to create a file vault residing on the NVMe. To accomplish this setup, I'd imagine that I will need to create a file vault on the NVMe storage, then create the VM using the file vault to hold the file system. Unless I'm missing an easier solution, it seems like I may need to create a modified version of the file vault than can reside on partitions from other block devices... but before I proceed too far down that path I'd appreciate any feedback/ideas from someone with experience. Thanks!

2 4

Difficulty with nvme driver in Sculpt 24.04
by Colin Parker 20 Jun '24

20 Jun '24

Hello Genodians, It's been a while, but I decided to try out Sculpt 24.04. I have mostly good news: the ps2 issue I mentioned last time seems to be resolved, thanks for that. The system boots up nicely and looks to have a lot of cool features. However, I can't get the nvme driver to work. It reads the partition table, but following any access to a partition, the platform_drv component fails with the message: Error: Uncaught exception of type 'Genode::Final_table<Intel::Level_1_descriptor<12u> >::Double_insertion' So I am able to trace this a little, the exception is thrown within Driver::Session_component::alloc_dma_buffer(unsigned long, Genode::Cache), specifically within Genode::Registry<Driver::Io_mmu_domain>::for_each<...>(...), so I assume this is related to IO_mmu in some way. If it helps, the address it attempts to allocate is 0x800000 with size 0x400000. Interestingly an exception is thrown twice when attempting to allocate that region, the first time on startup. In that case, based on the log this is probably happening when the nvme partition table is read. However, this exception is not fatal, because it's of type Genode::Out_of_ram. The second time is when trying to use a partition and the exception is Double_insertion. One theory is that, prior to the first exception, the page table in IO_mmu gets partially filled, but the allocator ignores that this happened due to the exception. So, when another request is made, the table is partially full, although the allocator thinks it's a free region. I considered giving more RAM to various components (platform_drv and nvme), but that didn't help, and no component appears to be actually close to its limit. The next step in my debugging would be to try to figure out where/why the Out_of_ram is thrown. I suppose that this is in a higher level page allocator during allocation of space for a lower level page table? But, why isn't this fixed by increasing the quota? I'm curious if anyone here can offer insights. Best regards, CP

2 1

Build sculpt with offline falkon web browser
by hamed K.h 14 Jun '24

14 Jun '24

2 1

Request for help with PinePhone image
by Arnott Chu 12 Jun '24

12 Jun '24

Hello to you all. I'm writing for some help with using the mobile version of Sculpt OS. For context, I've expanded the partition on the SD card and have selected "Use" on the partition. I've connected to my WiFi and can see an IP address. However, I can't use any presets; the button is greyed out. Whenever I try to add https://depot.genode.org/genodelabs or any other depot in the "Add" section it says "missing public key for verification". I have assumed that is what I'm supposed to do since the PC image has a list of similar URLs under an "Update" section under "System". I'm not sure how else to interact with Sculpt OS without a file viewer or the system shell to see what's going on. I also can't see anything under the "Options" button, although it is not greyed out. I should note that I don't have the modem turned on nor do I have a SIM card inserted. Thanks for your time. —Arnott Chu

2 1

Status of Sculpt on MNT Pocket Reform
by mntn 12 Jun '24

12 Jun '24

Hi all, I am interested in trying Sculpt on the MNT Pocket Reform. I suspect that the build for the MNT Reform may be adequate for this since it uses the same i.MX8M processor module used by the original Reform. The most obvious differences to me are the change in resolution (1920×1200 versus 1920x1080 on the original Reform), and the RP2040 system/keyboard controller. There may also be other differences in the components on the system board, but the Pocket Reform documentation is still in a rough state, and as an electronics novice I had a hard time parsing the relevant differences. Has anyone tested this out yet? I am happy to try when I receive my Pocket Reform.

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users June 2024