Re: [Minios-devel] [PATCH 00/40] MINI-OS: enable the arm64 support

[Samuel Thibault <samuel.thibault@xxxxxxxxxxxx>]

Hello,

Some of the patches can be committed right away:

[PATCH 01/40] mini-os: fix the wrong parameter for map_free() in 
init_page_allocator()
[PATCH 14/40] arm64: mm.c: fix the compiler error
[PATCH 15/40] arm64: refine the arch_init_mm
[PATCH 22/40] arm64: change sp to "unsigned long" type
[PATCH 23/40] arm64: fix the wrong size of the register

and these can't hurt applying already
[PATCH 10/40] arm64: define the quad_t for arm64
[PATCH 12/40] mini-os: define ULONG_MAX/LONG_MAX for arm64

Samuel

_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/cgi-bin/mailman/listinfo/minios-devel