tree d527f1ec672182443bd1f962879cb2770fce4356
parent 9a9ce4c72a8b1b67eb83e5f56f9b4d44c3869573
author David Brazdil <dbrazdil@google.com> 1604833507 +0000
committer David Brazdil <dbrazdil@google.com> 1604915900 +0000

Add command line options for controlling PKVM mode

The kernel will soon start requiring a command line flag to enable KVM
protected mode. This patch modifies the build scripts to start passing
it by default, as it will be our default mode of operation. Option -N is
provided to disable it.

Change-Id: Ibc815c0295687043175d470892c8266047f8c47a