diff options
Diffstat (limited to 'lib_nios2/bootm.c')
| -rw-r--r-- | lib_nios2/bootm.c | 4 | 
1 files changed, 3 insertions, 1 deletions
| diff --git a/lib_nios2/bootm.c b/lib_nios2/bootm.c index c0be4fdbf..53fd5691a 100644 --- a/lib_nios2/bootm.c +++ b/lib_nios2/bootm.c @@ -29,12 +29,14 @@ int do_bootm_linux(int flag, int argc, char *argv[], bootm_headers_t *images)  {  	void (*kernel)(void) = (void (*)(void))images->ep; +	if ((flag != 0) && (flag != BOOTM_STATE_OS_GO)) +		return 1; +  	/* For now we assume the Microtronix linux ... which only  	 * needs to be called ;-)  	 */  	kernel ();  	/* does not return */ -error:  	return 1;  } |