source: mainline@ 3418c41

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Name Size Rev Age Author Last Change
arch 4ffa9e0   21 years jakub New IPI for waking up idle CPU's halted in scheduler. Added …
doc f761f1eb   21 years jakub Initial import
include b109ebb   21 years jakub shootdown vs. shutdown
src 3418c41   21 years jakub Use ipi_broadcast() instead of l_apic_broadcast_custom_ipi().
test f761f1eb   21 years jakub Initial import
Note: See TracBrowser for help on using the repository browser.