Is printf() always the same?

[megazig]

yes, 0x2000 in the MSR is the fpbit
as that gets copied to SRR1, that's the one you're seeing

in 7xx_um.pdf you can search for MSR[FP]

----------------------

you can also see it enabling fp instructions at the start of the codehandler, but it backs up the msr to r25. then it does another mfmsr r25 at the end.
(which is a sort of lucky bug since _terminator_onoff_ messes with r25 and doesn't back it up, just one of the many bugs that I'm hoping I can share the fix for if GeckoOS's next version is open source again)