mini-os: tidied up code
authorKarim Raslan <karim.allah.ahmed@gmail.com>
Wed, 11 Jun 2014 10:30:14 +0000 (11:30 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 12 Jun 2014 10:01:18 +0000 (11:01 +0100)
commitec0326f41f3efafc2c46c4c881051a3a31649556
tree10ee31cebeb6039f3f60f355eff631546f4ea572
parent4e98cff2914e7ee9e494ceb9da685b931124bbce
mini-os: tidied up code

Signed-off-by: Karim Allah Ahmed <karim.allah.ahmed@gmail.com>
[talex5@gmail.com: separated from big ARM commit]
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
[talex5@gmail.com: use __func__ in DEBUG macro]
[talex5@gmail.com: drop text about "xm create"]
Signed-off-by: Thomas Leonard <talex5@gmail.com>
extras/mini-os/README
extras/mini-os/arch/x86/time.c
extras/mini-os/console/console.c
extras/mini-os/events.c
extras/mini-os/gntmap.c
extras/mini-os/include/x86/arch_spinlock.h
extras/mini-os/sched.c
extras/mini-os/xenbus/xenbus.c