Re: [Minios-devel] [UNIKRAFT RFC PATCH 3/5] arch/arm64: Don't pass -mgeneral-regs-only when CONFIG_FLOAT_POINT is y

[Julien Grall <julien@xxxxxxx>]

Hi Simon,

On 23/01/2020 21:47, Simon Kuenzer wrote:
> On 19.12.19 15:46, Julien Grall wrote:
> I am not sure if there exists a more elegant way than applying different 
> enabled features set by compilation units. I would love to have 
> something like function attributes or function declaration macros to set 
> and even check the property at compile time. Maybe you have an idea?
The problem you are trying to solve looks similar to what Linux faces 
with the EFI stub on Arm. While the EFI stub is part of the final kernel 
binary, the stub needs to be fully relocatable while the kernel itself 
is position dependent. This means they couldn't not share function 
between the two.
AFAIU, they are using objcopy to prefix all the symbols used by the 
stub. So the stub cannot call function that are not prefixed with 
__efistub_.
I guess you could re-use a similar trick for Unikraft.

Note that this is Linux, so I am not sure how much you could re-use 
here. If you still want to have a look, the interesting commit is:
e8f3010f7326c00368dbc057bd052bec80dfc072 "arm64/efi: isolate EFI stub 
from the kernel proper".
Cheers,

--
Julien Grall

_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel