# SPDX-License-Identifier: Apache-2.0

config BOARD_NATIVE_POSIX_32BIT
	bool "Native POSIX for 32-bit host"
	depends on SOC_POSIX
	select BOARD_NATIVE_POSIX
	help
	  Will produce a console Linux process which can be executed natively
	  as a 32-bit executable.
	  It provides some minimal needed models:
	  An interrupt controller, timer (system tick), and redirects kernel prints to
	  stdout.

config BOARD_NATIVE_POSIX_64BIT
	bool "Native POSIX for 64-bit host"
	depends on SOC_POSIX
	select BOARD_NATIVE_POSIX
	select 64BIT
	help
	  Will produce a console Linux process which can be executed natively
	  as a 64-bit executable.
	  It provides some minimal needed models:
	  An interrupt controller, timer (system tick), and redirects kernel prints to
	  stdout.