sencha/shodan: allow boot_rom pathname to be overridden Bypass-Presubmit-Reason: missing bazelversion Change-Id: I7ccf2e15fc80f22715e5ef86fde15d8159152d56
diff --git a/sencha.resc b/sencha.resc index 2dd0624..308605b 100644 --- a/sencha.resc +++ b/sencha.resc
@@ -50,7 +50,8 @@ uart5-analyzer TimestampFormat None # Load the boot rom into the 32k rom at 0x8000 (useVirtualAddress = false, allowLoadsOnlyToMemory = true) -sysbus LoadELF @out/sencha/hw/boot_rom.elf false true cpu0 +$boot_rom ?= @out/sencha/hw/boot_rom.elf +sysbus LoadELF $boot_rom false true cpu0 # Start cpu0 at the bootrom reset vector, which is stored immediately after the # bootrom interrupt vector table at 0x8080.
diff --git a/shodan.resc b/shodan.resc index d83a718..cfad367 100644 --- a/shodan.resc +++ b/shodan.resc
@@ -58,7 +58,8 @@ uart5-analyzer TimestampFormat None # Load the boot rom into the 32k rom at 0x8000 (useVirtualAddress = false, allowLoadsOnlyToMemory = true) -sysbus LoadELF @out/matcha/hw/boot_rom.elf false true cpu0 +$boot_rom ?= @out/matcha/hw/boot_rom.elf +sysbus LoadELF $boot_rom false true cpu0 # Load the tarball of CAmkES components, cpio bundle of built-in files, # the seL4 kernel, and preload the secure core binary.