Merge pull request #389 from antmicro/linux_flash_offsets
authorenjoy-digital <florent@enjoy-digital.fr>
Tue, 18 Feb 2020 16:54:13 +0000 (17:54 +0100)
committerGitHub <noreply@github.com>
Tue, 18 Feb 2020 16:54:13 +0000 (17:54 +0100)
bios/boot: allow to customize flash offsets of Linux images


Trivial merge