Re: [PATCH 0/7] mini-os: Preparing for ARM support

[Andrew Cooper <andrew.cooper3@citrix.com>]

On 04/06/14 17:06, Thomas Leonard wrote:
> This series is the initial part of Karim's ARM support, further broken up into
> smaller patches. These patches do not actually add ARM support; they just
> prepare the ground for later patches that do.
>
> I also added a fix so that Mini-OS doesn't shut down immediately. This is
> for x86 too, but I needed it because otherwise it's hard to test it.
>
> Karim: I don't fully understand all of these; feel free to add more details (e.g.
> to the rbm patch).

In future can you please start a new thread for each new series, rather
than hijacking a reply on the previous thread.

~Andrew

>
> Karim Raslan (6):
>   mini-os: Tidied up code
>   mini-os: Moved events code under arch
>   mini-os: Switched initial C entry point to arch_init
>   mini-os: Moved arch-specific xenbus code under arch
>   mini-os: Added rmb to xenbus code
>   mini-os: Moved force_evtchn_callback to header
>
> Thomas Leonard (1):
>   mini-os: Fixed shutdown thread
>
>  extras/mini-os/README                      |  7 +++--
>  extras/mini-os/arch/x86/events.c           | 28 +++++++++++++++++
>  extras/mini-os/arch/x86/setup.c            | 44 ++++++++++++++++++++++-----
>  extras/mini-os/arch/x86/time.c             |  2 +-
>  extras/mini-os/arch/x86/x86_32.S           |  2 +-
>  extras/mini-os/arch/x86/x86_64.S           |  2 +-
>  extras/mini-os/arch/x86/xenbus.c           | 10 ++++++
>  extras/mini-os/console/console.c           |  2 +-
>  extras/mini-os/events.c                    | 29 +++++-------------
>  extras/mini-os/gntmap.c                    | 35 ++++++++++-----------
>  extras/mini-os/hypervisor.c                | 20 +-----------
>  extras/mini-os/include/hypervisor.h        |  1 -
>  extras/mini-os/include/x86/arch_spinlock.h |  2 +-
>  extras/mini-os/include/x86/os.h            | 19 ++++++++++--
>  extras/mini-os/kernel.c                    | 49 ++++++++----------------------
>  extras/mini-os/main.c                      |  2 +-
>  extras/mini-os/sched.c                     |  3 ++
>  extras/mini-os/xenbus/xenbus.c             | 20 +++++++-----
>  18 files changed, 155 insertions(+), 122 deletions(-)
>  create mode 100644 extras/mini-os/arch/x86/events.c
>  create mode 100644 extras/mini-os/arch/x86/xenbus.c
>