RK3588 part 2

2022-12-27 Thread Michael Grunditz
Hi! I finally managed to setup my RK3588 board again. I also have built my own u-boot. The error I was experiencing before was because of wrong address of binary. bootm uImage still doesn't work , fails in some dt_header thing in u-boot. If I can get things moving I will try to isolate that proble

Re: genode/sculpt natively on x86 unibody Mac mini

2022-12-27 Thread Colin Parker
> recently I read the message that it is possible to run on Mac mini (as I > understand, old x86 mac mini) > Yes, I have gotten it to work on 64-bit x86 Mac mini (probably a bit more recent than what you describe but I can’t check exact model now as I’m traveling). > I had 2 spare mac mini

Getting Sculpt up and running on a hard drive

2022-12-27 Thread Will Senn
I am starting to feel my way around in the dark with Sculpt OS. It's very different. I like different. But, it's a learning curve, for sure. I am running it on my t430 where I have an SSD and SSHD (hybrid drive - part ssd and part hdd). The SSD's in the main slot, the SSHD's in the DVD bay. I

genode/sculpt natively on x86 unibody Mac mini

2022-12-27 Thread Alexander Tormasov via users
recently I read the message that it is possible to run on Mac mini (as I understand, old x86 mac mini) I had 2 spare mac mini and one of them could be used for such an experiments. Is it possible to run Scuplt of last version on x86 unibody mac mini? if yes - any build/setup instruction? Can I u

Re: post metal install issue - invalid download url empty

2022-12-27 Thread Will Senn
On 12/27/22 4:31 AM, Norman Feske wrote: Hi Will, On 12/26/22 11:52 AM, Will Senn wrote: I got Sculpt working on my T430 on metal. I'm able to boot to the gui and expand my storage, format it, use it, connect to ethernet, and add genode-labs depot. However, when I click on themed-wm, it ju

Re: sculpt OS kernel and applications

2022-12-27 Thread Norman Feske
Hi Sid, On 12/26/22 23:40, Sid Agrawal wrote: 1. I understand the Genode can be made with multiple kernels such as OKL4, seL4, and Nova, as well as your own kernel named hw? However, it was not obvious which kernel is used by sculpt. You can find the used kernel documented at the "Credits" sec

Re: post metal install issue - invalid download url empty

2022-12-27 Thread Norman Feske
Hi Will, On 12/26/22 11:52 AM, Will Senn wrote: I got Sculpt working on my T430 on metal. I'm able to boot to the gui and expand my storage, format it, use it, connect to ethernet, and add genode-labs depot. However, when I click on themed-wm, it just hangs. When I inspect the log, it says: