Re: [PATCH] xen/arm: check max_init_domid validity

2023-03-01 Thread Stefano Stabellini
On Tue, 28 Feb 2023, Bertrand Marquis wrote: > Before trying to create a dom0less guest, check that max_init_domid > increment will generate a valid domain ID, lower than > DOMID_FIRST_RESERVED. > > Signed-off-by: Bertrand Marquis Reviewed-by: Stefano Stabellini > --- > xen/arch/arm/domain_b

Re: [PATCH] xen/arm: check max_init_domid validity

2023-02-28 Thread Bertrand Marquis
Hi MIchal, > On 28 Feb 2023, at 12:10, Michal Orzel wrote: > > Hi Bertrand, > > On 28/02/2023 09:08, Bertrand Marquis wrote: >> >> >> Before trying to create a dom0less guest, check that max_init_domid >> increment will generate a valid domain ID, lower than >> DOMID_FIRST_RESERVED. >> >> Si

Re: [PATCH] xen/arm: check max_init_domid validity

2023-02-28 Thread Michal Orzel
Hi Bertrand, On 28/02/2023 09:08, Bertrand Marquis wrote: > > > Before trying to create a dom0less guest, check that max_init_domid > increment will generate a valid domain ID, lower than > DOMID_FIRST_RESERVED. > > Signed-off-by: Bertrand Marquis > --- > xen/arch/arm/domain_build.c | 3 +++ >

[PATCH] xen/arm: check max_init_domid validity

2023-02-28 Thread Bertrand Marquis
Before trying to create a dom0less guest, check that max_init_domid increment will generate a valid domain ID, lower than DOMID_FIRST_RESERVED. Signed-off-by: Bertrand Marquis --- xen/arch/arm/domain_build.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/xen/arch/arm/domain_build.c b/xen