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

[Thomas Leonard <talex5@xxxxxxxxx>]

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).

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

-- 
2.0.0


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel