|
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] Re: [PATCH] xen/rpi4: implement watchdog-based reset
(+ Andre) Hi, On 03/06/2020 23:31, Stefano Stabellini wrote: Touching the watchdog is required to be able to reboot the board. In general the preferred method is PSCI. Does it mean RPI 4 doesn't support PSCI at all? The implementation is based on drivers/watchdog/bcm2835_wdt.c:__bcm2835_restart in Linux. Can you give the baseline? This would allow us to track an issue and port them. Signed-off-by: Stefano Stabellini <stefano.stabellini@xxxxxxxxxx> --- xen/arch/arm/platforms/brcm-raspberry-pi.c | 60 ++++++++++++++++++++++ 1 file changed, 60 insertions(+) diff --git a/xen/arch/arm/platforms/brcm-raspberry-pi.c b/xen/arch/arm/platforms/brcm-raspberry-pi.c index f5ae58a7d5..0214ae2b3c 100644 --- a/xen/arch/arm/platforms/brcm-raspberry-pi.c +++ b/xen/arch/arm/platforms/brcm-raspberry-pi.c @@ -18,6 +18,10 @@ */#include <asm/platform.h>+#include <xen/delay.h> +#include <xen/mm.h> +#include <xen/vmap.h> +#include <asm/io.h> We are trying to keep the headers ordered alphabetically within each directory and then 'xen/' first following by 'asm/'. static const char *const rpi4_dt_compat[] __initconst = NIT: It is a bit odd you introduce the 5 define together but the first 3 have a different indentation compare to the last 2. I would suggest to use printk() rather than dprintk. It would be useful for a normal user to know that we didn't manage to reset the platform and why. We are trying to get rid of any use of u32 in Xen code (the coding style used in this file). Please use uint32_t instead. + void __iomem *base = rpi4_map_watchdog(); Newline here please. Cheers, -- Julien Grall
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |