| Charles E. Youse | 27a56ad | 2019-03-14 09:49:56 -0700 | [diff] [blame] | 1 | # Copyright (c) 2019 Intel Corporation |
| Charles E. Youse | 27a56ad | 2019-03-14 09:49:56 -0700 | [diff] [blame] | 2 | # SPDX-License-Identifier: Apache-2.0 |
| Charles E. Youse | 27a56ad | 2019-03-14 09:49:56 -0700 | [diff] [blame] | 3 | |
| 4 | config BOARD_ACRN | ||||
| 5 | bool "ACRN User OS" | ||||
| 6 | depends on SOC_IA32 | ||||
| Charles E. Youse | 6767563 | 2019-08-22 19:46:50 -0700 | [diff] [blame] | 7 | select CPU_HAS_FPU |
| Zide Chen | d0126a0 | 2020-02-05 08:32:00 -0800 | [diff] [blame] | 8 | select X86_64 |