Ian Jackson, le mer. 15 juil. 2020 17:25:00 +0100, a ecrit:
> From: Juergen Gross
>
> stubdom/mini-os.mk should contain paths used by Mini-OS when built as
> stubdom.
>
> Signed-off-by: Juergen Gross
Reviewed-by: Samuel Thibault
> ---
> stubdom/mini-os.mk | 17 +
> 1 file ch
From: Juergen Gross
stubdom/mini-os.mk should contain paths used by Mini-OS when built as
stubdom.
Signed-off-by: Juergen Gross
---
stubdom/mini-os.mk | 17 +
1 file changed, 17 insertions(+)
create mode 100644 stubdom/mini-os.mk
diff --git a/stubdom/mini-os.mk b/stubdom/mini
