Merge pull request #530 from enjoy-digital/bios-libs
authorenjoy-digital <florent@enjoy-digital.fr>
Tue, 19 May 2020 06:18:44 +0000 (08:18 +0200)
committerGitHub <noreply@github.com>
Tue, 19 May 2020 06:18:44 +0000 (08:18 +0200)
BIOS: move cores' specific code to libs and cleanup.


Trivial merge