Pass a1 as received from OpenSBI to main's second argument#103

Merged

lsf37 merged 1 commit intoseL4:masterfrom mpolitzer:bug/bootloader_dtb

Sep 2, 2021

+4-1

Commits on Sep 1, 2021

Pass a1 as received from OpenSBI to main
Marcelo Politzer
committed