br 436ac49059 Do not configure Altera PIO device on ARM startup. ... PIO is a device implemented in soft-core and becomes available after flashing FPGA only.		2015-01-04 23:14:04 +00:00
..
atse	Mechanically convert to if_inc_counter().	2014-09-19 03:51:26 +00:00
avgen	Merge from CheriBSD (2e28d2a3090239b30481f35dc452ad95a5c57389)	2014-11-21 21:10:02 +00:00
jtag_uart	Merge from CheriBSD:	2014-11-21 21:14:05 +00:00
pio	Do not configure Altera PIO device on ARM startup.	2015-01-04 23:14:04 +00:00
sdcard