diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/Tools.mk.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config/Tools.mk.in b/config/Tools.mk.in index 912d02199a..ee6cda384d 100644 --- a/config/Tools.mk.in +++ b/config/Tools.mk.in @@ -44,6 +44,9 @@ PYTHON_TOOLS := @pythontools@ OCAML_TOOLS := @ocamltools@ CONFIG_MINITERM := @miniterm@ CONFIG_LOMOUNT := @lomount@ +CONFIG_OVMF := @ovmf@ +CONFIG_ROMBIOS := @rombios@ +CONFIG_SEABIOS := @seabios@ #System options CONFIG_SYSTEM_LIBAIO:= @system_aio@ |