From fad33efd671e115ac333ea1d4428c60bed5573c7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Vehlow?= Date: Wed, 19 Feb 2025 13:11:26 +0100 Subject: [PATCH] Update docs/hypervisor_config.md Co-authored-by: Matthias Beckert --- docs/hypervisor_config.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/hypervisor_config.md b/docs/hypervisor_config.md index 22d61ae..43477ff 100644 --- a/docs/hypervisor_config.md +++ b/docs/hypervisor_config.md @@ -16,7 +16,8 @@ Configuration of the hypervisor usually consists of: The configuration using lua is very flexible, but being a full-fledged imperative programming language it is not as straight forward as it could be. -For that reason this tool was created that can turn a declarative definition of the system configuration into the required lua code. +For that reason, the *hypervisor config tool* was created. +It allows generation of the required lua code from a declarative system definition. Note: In the future the safety relevant applications of the hypervisor will require configuration in a format different from lua (e.g. compiled binary or binary configuration files).