Ruslan Bukin f808f2ce3e Add support for the SD/MMC controller found in Terasic DE10-Pro ...

(an Intel Stratix 10 GX/SX FPGA Development Kit).

Set the bus speed manually due to lack of clock management support.

Sponsored by:	DARPA, AFRL

2019-07-30 12:51:14 +00:00

..

DEFAULTS

GPT is standard in x86 and arm64 land. Add it to DEFAULTS with the

2018-08-17 14:47:21 +00:00

GENERIC

Add support for the SD/MMC controller found in Terasic DE10-Pro

2019-07-30 12:51:14 +00:00

GENERIC-MMCCAM

Set ident for GENERIC-MMCCAM to not announce itself as

2018-09-14 15:46:31 +00:00

GENERIC-NODEBUG

Extract the coverage sanitizer KPI to a new file.

2019-01-29 11:04:17 +00:00

GENERIC-UP

…