Re: [depot_autoremove] Removing outdated PGKs from the depot

2023-03-13 Thread Martin Stein
Hi Alice, I discovered Norman's mail right after sending my response :) But yes, I'd also say that our ideas are compatible. Your plans sound very reasonable to me and I appreciate that you're willing to get your hands on it! Don't hesitate to ask if you run into uncertainties! Cheers, Martin On

Re: iwlwifi-9260-firmware

2023-03-13 Thread Josef Söntgen
Hi Alice, > After some investigations, only the intel 'iwlwifi-9260-firmware' > needs to be included for it to work. I forked 'dde_linux_firmware' [1] > and created a pull request [2] to add the firmware and the license. > Please let me know if this is appropriate. Thanks for creating the PR. I

Re: Rockchip USB revisited

2023-03-13 Thread Michael Grunditz
> To cross-check, does the creation of the binary archive > bin/arm_v8a/a64_usb_host_drv using the genode-allwinner repository work > as it should? > Thanks for help! It builds ( but no cigar!). I managed to put a comment in a list , so everything failed :-) __

Re: [depot_autoremove] Removing outdated PGKs from the depot

2023-03-13 Thread Norman Feske
Hi Alice, The way I envision the implementation is as follows: 1. It creates a graph representing the depot state by traversing it. The graph is implemented with a dictionary. Each node uses as a key a 'Depot::Archive::Path' and as a value a list of 'Depot::Archive::Path' that are dependencie

Re: Rockchip USB revisited

2023-03-13 Thread Norman Feske
Hi Michael, Yes I got that..If I do build the linux kernel it works. The problem is that when it tries to use source tree from "depot" iit isn't configured. I haven't refactored the sources yet (everything is named a64) and this is the output I get: checking library dependencies... Library

Re: Rockchip USB revisited

2023-03-13 Thread Michael Grunditz
> In the genode-allwinner repository, the Linux kernel's config step > happens via the 'a64_linux_generated' pseudo library [1]. > > [1] > https://github.com/genodelabs/genode-allwinner/blob/master/lib/mk/spec/arm_v8/a64_linux_generated.mk > > If a target has 'a64_lx_emul' added to the 'LIBS' varia

Re: Rockchip USB revisited

2023-03-13 Thread Norman Feske
Hi Michael, On 2023-03-13 15:47, Michael Grunditz wrote: I am trying to bring up EHCI using the A64 driver. I configiured build system to download a tar ball with linux kernel. However in the: "CONFIG Linux" step I get this: Makefile:621: arch/arm64/Makefile: No such file or directory Which i

Rockchip USB revisited

2023-03-13 Thread Michael Grunditz
Hi I am trying to bring up EHCI using the A64 driver. I configiured build system to download a tar ball with linux kernel. However in the: "CONFIG Linux" step I get this: Makefile:621: arch/arm64/Makefile: No such file or directory Which is natural since the source tree in depot isn't configure

Re: PinePhone First Impressions & Questions

2023-03-13 Thread Norman Feske
Hi John, I am itching to try the various presets, and was wondering if any of the following ideas would be feasible: - Providing an on-disk depot for the presets.  (Excluding the web browser, which would be useless without connectivity anyway, seems like it would keep the size down.) since

Re: PinePhone Sculpt Build Problems

2023-03-13 Thread Norman Feske
Hi John, thank you for reporting. The sculpt_image.run script is intended for the automation of image releases. It is useful only if your are planning make your custom built image publicly available for others. For mere experimenting and testing, the sculpt_test.run script is probably easier

Re: sys/common_ansi.h not found (dde rump)- sculpt for virt qemu riscv

2023-03-13 Thread Sebastian Sumpf
Hello Pranab, On 3/13/23 07:47, Pranab Kumar Rout cs21m045 wrote: Hello genodians, While building sculpt for virt_qemu_riscv, I found that dde_rump port is not prepared for RISCV. Taking help from the community, I used the same approach as for arm_v8a (aarch64) as found under "repos/dde_rump/l

Re: First system image of Sculpt OS for the PinePhone

2023-03-13 Thread Norman Feske
Hi Pirmin, thank you for testing the PinePhone image. After some more testing I was able to turn on and off the modem multiple times. So I'm not sure, why this  wasn't working on my first try. Unfortunately I still wasn't able to do calls. The modem_pinephone.run script at the Allwinner rep