K 10
svn:author
V 6
cognet
K 8
svn:date
V 27
2012-03-03T01:20:46.611156Z
K 7
svn:log
V 391
- We can't rely on the initial pagetable still being setted up, maybe we
reused the memory, instead, allocate a temporary page table, map the
kernel into it, and make the APs use it.
- Make it so we can use multiple IRQs for IPI
- Add a new function, platform_mp_init_secondary(), which will be called
for each AP, and do platform-specific init stuff, such as setting up the
GIC for the AP.

END