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
..
2016-02-24 10:54:26 +00:00
2016-02-24 03:06:26 +00:00
2016-02-19 06:35:53 +00:00
2016-02-23 21:11:42 +00:00
2016-02-23 21:21:47 +00:00
2016-01-26 15:12:31 +00:00