Changeset View

Standalone View

	Show First 20 Lines • Show All 45 Lines • ▼ Show 20 Lines
	options WITNESS # Enable checks to detect deadlocks and cycles			options WITNESS # Enable checks to detect deadlocks and cycles
	options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed			options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed
	#options WITNESS_KDB			#options WITNESS_KDB

	# Pseudo devices			# Pseudo devices
	device loop			device loop
	device md			device md
	device pty			device pty
	device random

	# Serial ports			# Serial ports
	device uart			device uart
	device uart_ns8250			device uart_ns8250

	# Flash			# Flash
	device cfi			device cfi
	device cfid			device cfid
	Show All 18 Lines