From dcd041922395be7a6fcf36b0ed58c72d18436644 Mon Sep 17 00:00:00 2001 From: Ivan-Velickovic Date: Sat, 23 Sep 2023 07:04:55 -0400 Subject: [PATCH] README fix wording --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index b876326a9..90dab120d 100644 --- a/README.md +++ b/README.md @@ -10,7 +10,7 @@ This project contains three parts: This project is currently in-development and is frequently changing. It is not ready for production use. The project also depends on the [seL4 Microkit](https://github.com/seL4/microkit) -SDK and expects to be used in a Microkit environment, however this may change such that the VMM +SDK and expects to be used in a Microkit environment, in the future this may change such that the VMM library itself is environment agnostic. For information on the project and how to use it, please see the [manual](docs/MANUAL.md).