Re: problem with permanent modification on Sculpt

2021-02-22 Thread Edoardo Mantovani
Hello Christian, Thanks for your reply, by the way, I would like to have a desktop computer where I can run Sculpt without any error, which computer you suggest for that? I am not a big expert of PCI ports. Regards, Edoardo Mantovani Il giorno mar 23 feb 2021 alle ore 06:39 Christian Helmuth h

Re: problem with permanent modification on Sculpt

2021-02-22 Thread Christian Helmuth
Hello Edoardo, your SATA PCI devices seem to use a programming interface that's not AHCI compatible. For AHCI compatibility the class code has to be 0x0106xx. Your devices use 0101xx which is "IDE interface" [1] [2] [3] and Genode does not support this. [1] https://pci-ids.ucw.cz/read/PD/01/0

Re: problem with permanent modification on Sculpt

2021-02-22 Thread Nobody III
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 Edoar

Re: problem with permanent modification on Sculpt

2021-02-22 Thread Edoardo Mantovani
Hello Norman, here there are the 2 log text files, as you predicted, the block_devices file is blank. Regards, Edoardo Mantovani, 2021 Il giorno lun 22 feb 2021 alle ore 09:47 Norman Feske < norman.fe...@genode-labs.com> ha scritto: > Hello Edoardo, > > > I am using an elitebook 2540p. > > have

Re: i2c driver on imx8q_evk board

2021-02-22 Thread Sebastian Sumpf
Hello Jean-Adrien, On 2/22/21 11:17 AM, Jean-Adrien Domage wrote: > Dear Genodians, > > I am currently working on an i2c driver for the imx8q_evk board. I'm > struggling > to generate any kind of signal(s) on the i2c bus. > > First I had a look at os/src/drivers/touch/synaptic_dsx. I tried to ru

Re: General Improvements for Sculpt

2021-02-22 Thread Josef Söntgen
Hello Edoardo, > I don't know if "Chocolate Doom" is the homonymous video game, but > unfortunately I wasn't able to play it cause an infinite "I_init: > setting up machine state", the audio driver was the bsd_audio_drv > while the wm was the themed_wm (internet connection under nic_router), > do

i2c driver on imx8q_evk board

2021-02-22 Thread Jean-Adrien Domage
Dear Genodians, I am currently working on an i2c driver for the imx8q_evk board. I'm struggling to generate any kind of signal(s) on the i2c bus. First I had a look at os/src/drivers/touch/synaptic_dsx. I tried to run the i2c implementation from this driver on the i2c bus 2. It hang at the fi

Re: Genode at virtual FOSDEM 2021

2021-02-22 Thread Norman Feske
Hello again, > the annual FOSDEM in Brussels and the microkernel developer room in > particular is almost a mandatory date for us. > [...] > > https://fosdem.org/2021/schedule/track/microkernel/ > > The topic of our contribution is the presentation and demo of our recent > developments of plug

Re: problem with permanent modification on Sculpt

2021-02-22 Thread Norman Feske
Hello Edoardo, > I am using an elitebook 2540p. have you already inspected the /report/log (e.g., via the inspect shell)? Look out for any output of the ahci driver. Did it report anything? Do you see an error? If its not too much trouble, you may "exfiltrate" the file from the Sculpt system by c

Re: problem with permanent modification on Sculpt

2021-02-22 Thread Edoardo Mantovani
Hello, Yes, I had a similar idea of why the hdd cannot be accessed from Sculpt, but all other hardwares fit perfectly with the OS. I am using an elitebook 2540p. Il giorno lunedì 22 febbraio 2021, Edoardo Mantovani < mantovani.edoard...@gmail.com> ha scritto: > Hello, > Yes, I had a similar idea

Re: problem with permanent modification on Sculpt

2021-02-22 Thread Edoardo Mantovani
Hello, Yes, I had a similar idea of why the hdd cannot ne accessed from Sculpt, bit alla other hardwares fit perfectly with the OS. I al using an elitebook 2540p. Il giorno lunedì 22 febbraio 2021, Nobody III ha scritto: > That sounds like a lack of support for your SATA controller. I've seen >