Stefan Kalkowski 0836726df2 hw: use one IRQ for all cpus to send IPIs ... Until now, one distinct software generated IRQ per cpu was used to send signals between cpus. As ARM's GIC has 16 software generated IRQs only, and they need to be partitioned between secure/non-secure TrustZone world as well as virtual and non-virtual worlds, we should save them. Ref #1405		2015-02-27 11:43:56 +01:00
..
base	hw: minor 64-bit fixes	2015-02-16 13:40:36 +01:00
core	hw: use one IRQ for all cpus to send IPIs	2015-02-27 11:43:56 +01:00
test	thread API & CPU session: accounting of CPU quota	2014-11-28 12:02:37 +01:00