From mboxrd@z Thu Jan 1 00:00:00 1970 From: Thomas Leonard Subject: [PATCH 0/7] mini-os: Preparing for ARM support Date: Wed, 4 Jun 2014 17:06:31 +0100 Message-ID: <1401897998-29569-1-git-send-email-talex5@gmail.com> References: <538D9161.6090402@linaro.org> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: Received: from mail6.bemta14.messagelabs.com ([193.109.254.103]) by lists.xen.org with esmtp (Exim 4.72) (envelope-from ) id 1WsDiN-00053a-00 for xen-devel@lists.xenproject.org; Wed, 04 Jun 2014 16:06:59 +0000 Received: by mail-wg0-f50.google.com with SMTP id x12so8837453wgg.9 for ; Wed, 04 Jun 2014 09:06:57 -0700 (PDT) In-Reply-To: <538D9161.6090402@linaro.org> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: xen-devel@lists.xenproject.org Cc: Thomas Leonard List-Id: xen-devel@lists.xenproject.org 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