Merge branch 'mitre-cyber-academy:release' into release

README.md

@@ -163,18 +163,16 @@ ectf_build_comp -d ../ectf-2024-example -on comp -od build -id 0x11111125 -b "Co
 
 ## Flashing
 Flashing the MAX78000 is done through the eCTF Bootloader. You will need to initially flash the eCTF Bootloader onto the provided hardware. 
-This can be done easily by dragging and dropping the provided bootloader image to the DAPLink interface. DAPLink will show up as an external drive when connected to your system.
+This can be done easily by dragging and dropping the [provided bootloader](https://ectfmitre.gitlab.io/ectf-website/2024/components/bootloader.html) (for design phase:`insecure.bin`) to the DAPLink interface. DAPLink will show up as an external drive when connected to your system. Succesfull installation would make a blue LED flash on the board.
 
+To flash a specific bootloader image on the board (AP or Components), use `ectf_update`.
 ```
-ectf_update -h
-usage: ectf_update [-h] -in INFILE --port PORT [-s]
+ectf_update [-h] --infile INFILE --port PORT
 
-options:
-  -h, --help            show this help message and exit
-  -in INFILE, --infile INFILE
-                        Path to the input binary
-  --port PORT           Serial port
-  -s, --secure          Update a secured or insecure firmware image
+optional arguments:
+  -h, --help       show this help message and exit
+  --infile INFILE  Path to the input binary
+  --port PORT      Serial port
 ```
 
 **Example Utilization**

application_processor/src/application_processor.c

@@ -316,8 +316,8 @@ int attest_component(uint32_t component_id) {
     }
 
     // Print out attestation data 
-    print_info("C>0x%08x", component_id);
-    print_info("%s\n", receive_buffer);
+    print_info("C>0x%08x\n", component_id);
+    print_info("%s", receive_buffer);
     return SUCCESS_RETURN;
 }
 

application_processor/src/board_link.c

@@ -89,11 +89,11 @@ int poll_and_receive_packet(i2c_addr_t address, uint8_t* packet) {
         MXC_Delay(50);
     }
 
-    uint8_t len = i2c_simple_read_transmit_len(address);
+    int len = i2c_simple_read_transmit_len(address);
     if (len < SUCCESS_RETURN) {
         return ERROR_RETURN;
     }
-    result = i2c_simple_read_data_generic(address, TRANSMIT, len, packet);
+    result = i2c_simple_read_data_generic(address, TRANSMIT, (uint8_t)len, packet);
     if (result < SUCCESS_RETURN) {
         return ERROR_RETURN;
     }