Ruslan Bukin 17696c12f5 Add support for symmetric multiprocessing (SMP). ... Tested on Spike simulator with 2 and 16 cores (tlb enabled), so set MAXCPU to 16 at this time. This uses FDT data to get information about CPUs (code based on arm64 mp_machdep). Invalidate entire TLB cache as it is the only way yet. Sponsored by: DARPA, AFRL Sponsored by: HEIF5		2016-02-24 16:50:34 +00:00
..
DEFAULTS
GENERIC	Add support for symmetric multiprocessing (SMP).	2016-02-24 16:50:34 +00:00
QEMU
SPIKE