* register x29/t4 was not saved and therefore not restored correctly * change 'warning' to 'error' before '_die' is called issue #2423 |
||
---|---|---|
.. | ||
bbl | ||
bootstrap | ||
core | ||
include/base/internal | ||
kernel/spec/muen | ||
lib | ||
test |
* register x29/t4 was not saved and therefore not restored correctly * change 'warning' to 'error' before '_die' is called issue #2423 |
||
---|---|---|
.. | ||
bbl | ||
bootstrap | ||
core | ||
include/base/internal | ||
kernel/spec/muen | ||
lib | ||
test |