Merge pull request #557 from antmicro/mor1kx_linux_booting
authorenjoy-digital <florent@enjoy-digital.fr>
Tue, 2 Jun 2020 13:45:52 +0000 (15:45 +0200)
committerGitHub <noreply@github.com>
Tue, 2 Jun 2020 13:45:52 +0000 (15:45 +0200)
bios: boot: Boot linux on mor1kx with external device tree and rootfs


Trivial merge