Skip to content

Commit

Permalink
README: mention what VMM stands for
Browse files Browse the repository at this point in the history
  • Loading branch information
@Ivan-Velickovic
Ivan-Velickovic committed Oct 7, 2023
1 parent 2e164c6 commit 585b090
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
The purpose of this project is to make it easy to run virtual machines on top of the seL4 microkernel.

This project contains three parts:
* `src/`: The VMM library, for creating and managing virtual machines on seL4.
* `src/`: The virtual-machine-monitor (VMM) library, for creating and managing virtual machines on seL4.
* `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

0 comments on commit 585b090

Please sign in to comment.