Skip to content

Commit

Permalink
README: some missing full stops
Browse files Browse the repository at this point in the history
  • Loading branch information
Ivan-Velickovic committed Sep 28, 2023
1 parent ddbbe2c commit 62118c9
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ The purpose of this project is to make it easy to run virtual machines on top of

This project contains three parts:
* `src/`: The VMM library, for creating and managing virtual machines on seL4.
* `examples/`: Examples for using the VMM library
* `examples/`: Examples for using the VMM library.
* `tools/`: Tools that are useful when developing systems using virtual machines, but are not
necessary for using the library.

Expand Down Expand Up @@ -66,7 +66,7 @@ Finally, you will need an experimental Microkit SDK.

For acquiring the SDK, you have two options.

1. Download a pre-built SDK (recommended)
1. Download a pre-built SDK (recommended).
2. Build the SDK yourself.

##### Option 1 - Download pre-built SDK
Expand Down

0 comments on commit 62118c9

Please sign in to comment.