3 Commits

Author	SHA1	Message	Date
Ruslan Bukin	2d53a67c2c	o Add driver for PLIC (Platform-Level Interrupt Controller) device. ... o Convert interrupt machdep support to use INTRNG code. Sponsored by: DARPA, AFRL	2018-06-12 17:45:15 +00:00
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
Ruslan Bukin	8d7e7a98db	Import RISC-V machine headers. This is a minimal set required to compile ... kernel and userland. Reviewed by: andrew, imp, kib Sponsored by: DARPA, AFRL Sponsored by: HEIF5 Differential Revision: https://reviews.freebsd.org/D4554	2015-12-17 18:44:30 +00:00