Hardware Reference
In-Depth Information
irq_handler
#
ifdef CONFIG_IPIPE
+
THUMB
(
it ne
)
bne __ipipe_ret_to_user_irqs_disabled
#
endif
/* CONFIG_IPIPE */
get_thread_info tsk
@@
-
767
,
6
+
768
,
7
@@
ENTRY
(
ret_from_exception
)
disable_irq
bl __ipipe_check_root
cmp r0
,
#
1
+
THUMB
(
it ne
)
bne __ipipe_ret_to_user_irqs_disabled
@
Fast exit path
over non
-
root domains
#
endif
/* CONFIG_IPIPE */
get_thread_info tsk
Run the following command to apply the patch:
host$
patch -p1 < thumb.patch
Prepare the kernel:
host$
cd ../../xenomai-2.6.4/scripts
host$
./prepare-kernel.sh --arch=arm --linux=../../bb-kernel/KERNEL/
Now you're ready to compile the kernel with these new patches:
host$
cd ../../bb-kernel
host$
tools/rebuild.sh
When the configuration menu displays (as shown in
Figure 8-3
), make the following
changes:
1. Select “CPU Power Management” → “CPU Frequency scaling, disable [ ] CPU
Frequency scaling.”
2. Select “Real-time sub-system” →” Drivers” → “Testing drivers, enable
everything.”
