andrew e91597da47 Remove IPI_IRQ_START and IPI_IRQ_END from the arm kernel config files. ...

These are unneeded with INTRNG.

2018-07-28 06:46:10 +00:00

..

files.qemu

Revert r327250 as it broke the build for some armv6 kernel and all armv4/5

2017-12-28 07:31:14 +00:00

std.virt

Remove IPI_IRQ_START and IPI_IRQ_END from the arm kernel config files.

2018-07-28 06:46:10 +00:00

virt_machdep.c

Make the default FDT implementation of platform_mp_setmaxid use the cpu

2017-03-17 12:45:53 +00:00

virt_mp.c

Make the default FDT implementation of platform_mp_setmaxid use the cpu

2017-03-17 12:45:53 +00:00

virt_mp.h

Add SMP support to the ARM PLATFORM code. This will allow us to have

2016-02-28 13:43:58 +00:00