Add a small vmm(2) manual page for the related system calls.
authorSascha Wildner <saw@online.de>
Tue, 1 Sep 2015 16:39:56 +0000 (18:39 +0200)
committerSascha Wildner <saw@online.de>
Tue, 1 Sep 2015 16:40:46 +0000 (18:40 +0200)
commit81f306f54d25a72d2968cc97d0290a0ffc3cb621
tree2aad7c1df6e8358b5e09b6fe2c24ec545a98c07e
parent29d602c85a615a66456cd7108d3e3d24c72368bd
Add a small vmm(2) manual page for the related system calls.

Namely, vmm_guest_ctl(2) and vmm_guest_sync_addr(2).

It is based on a manual page which Mihai Carabas submitted to me a
rather long time ago (apologies, Mihai).
lib/libc/sys/Makefile.inc
lib/libc/sys/vmm.2 [new file with mode: 0644]