On Thu, 2023-10-19 at 13:12 +0100, Julien Grall wrote: > Hi, > > On 19/10/2023 12:41, Jan Beulich wrote: > > On 19.10.2023 13:27, Julien Grall wrote: > > > that doesn't involve one arch to symlink headers from another > > > arch. > > > > Whether to use symlinks or #include "../../arch/..." or yet > > something else is > > a matter of mechanics. > > #include "../../arch/../" is pretty much in the same category. This > is > simply hiding the fact they could be in asm-generic. > > Anyway, I have shared my view. Let see what the others thinks. I have the same point: if something is shared at least between two arch, it should go to ASM-generic.
And that is the reason why I pushed device.h header to asm-generic. It is needed to rename some stuff (e.g... GIC ) in it or add some ifdefs. ~ Oleksii
