On Tue, 5 Jun 2018, Julien Grall wrote:
> The file kernel.c only contains code/data used during the
> initialization. So move everything to init and mark the file as such.
>
> Signed-off-by: Julien Grall
Reviewed-by: Stefano Stabellini
> ---
> xen/arch/arm/Makefile | 2 +-
> xen/arch/arm/ke
The file kernel.c only contains code/data used during the
initialization. So move everything to init and mark the file as such.
Signed-off-by: Julien Grall
---
xen/arch/arm/Makefile | 2 +-
xen/arch/arm/kernel.c | 32
2 files changed, 17 insertions(+), 17 deleti
