In message <zbmix8qt0sgpq...@genode-labs.com> Stefan Kalkowski <stefan.kalkow...@genode-labs.com> wrote:
> Hi Michael, > On Mon, Mar 20, 2023 at 03:29:48PM +0100, Michael Grunditz wrote: >> Hi again, >> >> How does the dts extraction work? I would like to have a local copy in >> the repo.. In order to build the driver I needed to do brute force >> hacks into dde_linux.. can I override files from it in my repo? > We provide a device tree source extraction tool in `tool/dts/extract`. > You can see how it is used, e.g., within > `genode-imx/src/drivers/linux_mnt_reform2_drv_target.inc` at the end > of the file. > First you need to preprocess the Linux original device tree source, > and then use `extract --select XXX --select YYY` to extract the nodes > and their transitive closure you're interested in. Ok. I tried my best to get the dts to be included but all I got was empty file. I actually injected it to th kernel tree that I have on my vps ( tarball) > Regarding the shadowing of files within dde_linux: I would > try to avoid that as far as possible to stay update compliant. Maybe > you can explain in more detail where it doesn't fit your needs? > But of course it is possible to use or not use whatever shadow file > exists within dde_linux. In that case you might need to avoid the > usage of `repos/dde_linux/lib/import/import-lx_emul_common.inc`, and > define your own stripped version of it defining what file is included > exactly. OK. Yes I don't want to hack in dde_linux, but on the other hand, it isn't goood to patch the kernel in page handling. I will make a diff next week so you can look at it. I added a couple of things to pg_table and page. The thing is , I am using a newer kernel than the one you use for alwinner. I can use the public kernel , since it got the required phy driver. I just got the little task to bring up PCIe on rk3399 -:) So I will be occupied with that for a while. -- Best regards, Michael Grunditz ** ** _______________________________________________ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users