generate_lava_job() {
	local model="tc4"

	uart="1" set_expect_variable "num_cpus" "8"

	set_run_env "ports_script" "$ci_root/model/tc4-ports.awk"
	set_run_env "num_uarts" "4"

	model="$model" gen_model_params
	model="$model" gen_fvp_yaml
}