Axel Heider

After some more refactoring, making a VPCI module seems not really useful, as this would be just a wrapper around the vPCI helper coede in `libsel4vmmplatsupport` then. The refactoring seem...

I have seen that we were experimenting with this in you fork. What I can do is wrap this in a internal helper function that is weak. What we could...

@hlyytine What do you think about this implementation?

@hlyytine I've added a commit that makes the DTB generation more dynamic, so modules can also add data to it. Would this allow you to implement youe use case, if...

I will move the other commits in this PR to a separate one (see https://github.com/seL4/camkes-vm/pull/73). Creating the DTB unconditionally is an option, but I think it's not so nice as...

Thanks. I get the point why this should be a weak function. But I still seems a bit odd to me that this is in a module. It would be...

> To be honest, I think this PR creates more problems than it solves. I think this is similar to vPCI, there I also failed for make it purely module...

We were running into similar issues. But it seems preferrable if there is a solution that does not require BechUtils as hard dependency. Unfortunately, I did not find the time...

As a follow-up, should we have a CI test that a system using LWIP still builds? Since i.MX6 i supported in QEMU, we could later even add a check that...

I'm fine with merging this when the style issue and the missing return are addressed. Leaving the include file for now is a nice-to-have thing.