Hi, On [18-09-2018 22:45], Yuxuan Shui wrote: > Hi, > > In cpu-64.cpp, in function Cpu::setup_sysenter, Fiasco try to set > IA32_FMASK (called MSR_SFMASK in the code) to ~0ULL. However, only the > lower 32bit of FMASK should be written to. > > This cause problems on some platforms.
The fix has landed in our public repository [1]. Thank you for reporting this issue. Regards, Matthias. [1] https://github.com/kernkonzept/fiasco/commit/cbb304483dec557749580e680c95b6293ef9b6e8 > -- > > Regards > Yuxuan Shui _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
