Patch for error in loading PMP in monitor mode

Author: guancio

kernel/src/syscall.c

@@ -521,8 +521,8 @@ err_t validate_mon_pmp_load(const sys_args_t *args)
 		return ERR_INVALID_PID;
 	if (!valid_idx(args->mon_pmp_load.idx))
 		return ERR_INVALID_INDEX;
-	if (!valid_pid(args->mon_pmp_load.slot))
-		return ERR_INVALID_PID;
+	if (!valid_slot(args->mon_pmp_load.slot))
+		return ERR_INVALID_SLOT;
 	return SUCCESS;
 }
 

projects/tutorial.01.hello-world/Makefile

@@ -1,6 +1,6 @@
 .POSIX:
 
-export PLATFORM   ?=qemu_virt4
+export PLATFORM   ?=qemu_virt
 export ROOT       :=${abspath ../..}
 export BUILD      :=${abspath build/${PLATFORM}}
 export S3K_CONF_H :=${abspath s3k_conf.h}