On Thu, 22 Mar 2018 13:06:56 +0100 Martin Kepplinger <[email protected]> wrote:
> Add kvmconfig, xenconfig and tinyconfig to the list of alternative > configuration commands. Descriptions are directly taken from the Makefile. Applied to the docs tree, thanks. jon

