On Tue, Feb 11, 2020 at 1:54 AM Will Deacon <will@xxxxxxxxxx> wrote: > Thanks, I missed that. It's annoying that we'll end up needing /both/ > -ffixed-x18 *and* the save/restore around guest transitions, but if we > actually want to use SCS for the VHE code then I see that it will be > required. > > Sami -- can you restore -ffixed-x18 and then try the function attribute > as suggested by James, please? Sure. Adding __noscs to __hyp_text and not filtering out any of the flags in the Makefile appears to work. I'll update this in the next version. Sami
