diff --git a/stand/common/interp_forth.c b/stand/common/interp_forth.c index be56d514180..68ecb8ab136 100644 --- a/stand/common/interp_forth.c +++ b/stand/common/interp_forth.c @@ -283,6 +283,12 @@ bf_init(void) /* try to load and run init file if present */ if ((fd = open("/boot/boot.4th", O_RDONLY)) != -1) { +#ifdef LOADER_VERIEXEC + if (verify_file(fd, "/boot/boot.4th", 0, VE_GUESS) < 0) { + close(fd); + return; + } +#endif (void)ficlExecFD(bf_vm, fd); close(fd); }