On Thu, 22 Mar 2018 13:06:56 +0100Martin Kepplinger <martink@posteo.de> 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