# Mandatory fields
odp_implementation = "linux-generic"
config_file_version = "0.1.28"

timer: {
	# Enable inline timer implementation
	inline = 1
}