Skip to content

Commit

Permalink
Update monitor.c
Browse files Browse the repository at this point in the history
fix typo
  • Loading branch information
ENJOU1224 authored Aug 2, 2024
1 parent 1fa0a92 commit d13ac4e
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/monitor/monitor.c
Original file line number Diff line number Diff line change
Expand Up @@ -338,7 +338,7 @@ void init_monitor(int argc, char *argv[]) {
if (restorer) {
bbl_start += CONFIG_BBL_OFFSET_WITH_CPT;
}
img_size = load_img(img_file, "image (checkpoint/bare metal app/bbl) form cmdline", bbl_start, 0);
img_size = load_img(img_file, "image (checkpoint/bare metal app/bbl) from cmdline", bbl_start, 0);

if (restorer) {
FILE *restore_fp = fopen(restorer, "rb");
Expand All @@ -357,7 +357,7 @@ void init_monitor(int argc, char *argv[]) {

fclose(restore_fp);

load_img(restorer, "Gcpt restorer form cmdline", RESET_VECTOR, restore_size);
load_img(restorer, "Gcpt restorer from cmdline", RESET_VECTOR, restore_size);
}

/* Initialize differential testing. */
Expand Down

0 comments on commit d13ac4e

Please sign in to comment.