Fix variable name in the QEMU deployer: tab_path -> tbf_path, and clarify runner's TBF_HEADER_SIZE value.

Author: Johnathan Van Why

runner/src/elf2tab.rs

@@ -88,7 +88,9 @@ pub struct OutFiles {
     pub tbf_path: PathBuf,
 }
 
-// The amount of space to reserve for the TBF header.
+// The amount of space to reserve for the TBF header. This must match the
+// TBF_HEADER_SIZE value in the layout file for the platform, which is currently
+// 0x48 for all platforms.
 const TBF_HEADER_SIZE: u32 = 0x48;
 
 // Reads the stack size, and returns it as a String for use on elf2tab's command

runner/src/qemu.rs

@@ -4,11 +4,11 @@ use std::process::{Child, Command, Stdio};
 
 // Spawns a QEMU VM with a simulated Tock system and the process binary. Returns
 // the handle for the spawned QEMU process.
-pub fn deploy(cli: &Cli, platform: String, tab_path: PathBuf) -> Child {
+pub fn deploy(cli: &Cli, platform: String, tbf_path: PathBuf) -> Child {
     let platform_args = get_platform_args(platform);
     let device = format!(
         "loader,file={},addr={}",
-        tab_path
+        tbf_path
             .into_os_string()
             .into_string()
             .expect("Non-UTF-8 path"),