From 7a3382fbdb39dd42622a2f83de96ac7c2fb91baa Mon Sep 17 00:00:00 2001
From: Philippe Coval <rzr@users.sf.net>
Date: Wed, 13 Mar 2024 20:10:07 +0100
Subject: [PATCH] extra: Add helper for debos

Signed-off-by: Philippe Coval <rzr@users.sf.net>
Change-Id: Ifca2ebd30a5af1e3d5ffef003813a22c94904ec0
---
 extra/Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/extra/Makefile b/extra/Makefile
index db35d55..eb79f1b 100644
--- a/extra/Makefile
+++ b/extra/Makefile
@@ -22,6 +22,9 @@ flags+=--scratchsize=${scratchsize}
 flags+=-tsuite:${suite}
 flags+=-tmirror:${mirror}
 
+# Disable if needed (ubuntu-22.04)
+# flags+=--disable-fakemachine
+
 images_lists ?= ${project}-i386-generic.img
 images_lists += ${project}-amd64-generic.img
 
@@ -37,6 +40,11 @@ help: Makefile
 	@echo "# ${<D}/${<F} help # This help"
 	@echo "# ${<D}/${<F} img architecture=${architecture} machine=${machine} # To build image"
 
+setup:
+	${sudo} apt install -y debos
+	${sudo} usermod -a -G kvm ${USER}
+	${sudo} chmod -R a+r /boot/vmlinuz-$(shell uname -r)
+
 all: img
 
 rule/debos/%.yaml: debos/%.yaml \