Baptiste Daroussin 5b990a9463 Revert r362466 ...

Such change should not have happen without prior discussion and review.

With hat:	transitioning core

2020-06-22 07:46:24 +00:00

..

boot0.S

Revert r362466

2020-06-22 07:46:24 +00:00

Makefile

…

Makefile.depend

…