// SPDX-License-Identifier: GPL-2.0+/* * Copyright 2019 Google LLC */#include<common.h>intarch_misc_init(void){return0;}/* This function is needed if CONFIG_CMDLINE is not enabled */intboard_run_command(constchar*cmdline){printf("No command line\n");return0;}