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

[Huang Shijie <shijie.huang@xxxxxxx>]

On Fri, Nov 03, 2017 at 03:11:37AM +0000, Huang Shijie wrote:
> The work is based on Chen Baozi and Volodymyr's patches.
> I tested this patch set with my Softiron board.
> 
> This patch set is based on the latest mini-os code:
>  (git tree: https://github.com/lorc/mini-os.git
>   The top is " 0b4b789 Update Xen header files again")
> 
> After this patch set:
>        1.) The scheduler for arm64 works fine.
>        2.) The gic/timer for arm64 works fine.
> 
> I tested this patch set on Softiron(arm64) and x86_64 platform.       
I put all the patch set in the tree(please check the arm64 branch):
     https://github.com/zyzii/mini-os.git

Thanks
Huang Shijie

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