From: denys drozdov
This is a requirement of the scheduler interface, violating this
causes for example with the RT scheduler:
(XEN) Assertion 'local_irq_is_enabled()' failed at spinlock.c:137
(XEN) [ Xen-4.5.0 arm32 debug=y Not tainted ]
(XEN) CPU:0
(XEN) PC: 0022a074 _spin_l
From: denys drozdov
Make Credit2 and RT schedulers to run on arm platform
context_saved should be deferred on ARM after IRQs enabled
Signed-off-by: denys drozdov
---
xen/arch/arm/domain.c |7 +++
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/xen/arch/arm/domain.c b/xen/
From: denys drozdov
Update RT scheduler to run on arm platform
Signed-off-by: denys drozdov
---
xen/common/sched_rt.c |5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/xen/common/sched_rt.c b/xen/common/sched_rt.c
index e70d6c7..5fcc205 100644
--- a/xen/common/sched_r
From: denys drozdov
Change-Id: I9b315f213775b8410fe75cd96968dcb213ea287b
Signed-off-by: denys drozdov
---
xen/common/sched_rt.c |7 ---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/xen/common/sched_rt.c b/xen/common/sched_rt.c
index e70d6c7..1ab0a62 100644
--- a/xen/com