1  /* SPDX-License-Identifier: GPL-2.0-only */
 2  
 3  #include <arch/hlt.h>
 4  #include <halt.h>
 5  
 6  void __noreturn abort(void)
 7  {
 8  	while (1)
 9  		hlt();
10  }