Hi arvid,
I reported a new issue: https://discourse.grlib.community/t/the-reg-command-can-not-show-the-fpu-registers