| Angel Pons | 6e5aabd | 2020-03-23 23:44:42 +0100 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0-only */ |
| Patrick Rudolph | 74203de | 2017-11-20 11:57:01 +0100 | [diff] [blame] | 2 | |
| Patrick Rudolph | 74203de | 2017-11-20 11:57:01 +0100 | [diff] [blame] | 3 | #include <console/console.h> |
| 4 | #include <device/device.h> |
| Elyes HAOUAS | 1d6484a | 2020-07-10 11:18:11 +0200 | [diff] [blame] | 5 | #include <cpu/intel/model_206ax/model_206ax.h> |
| Patrick Rudolph | 74203de | 2017-11-20 11:57:01 +0100 | [diff] [blame] | 6 | #include "sandybridge.h" |
| 7 | |
| 8 | enum platform_type get_platform_type(void) |
| 9 | { |
| 10 | const int id = get_platform_id(); |
| 11 | if (id != 1 && id != 4) |
| Julius Werner | e966595 | 2022-01-21 17:06:20 -0800 | [diff] [blame] | 12 | printk(BIOS_WARNING, "Unknown platform id 0x%x\n", id); |
| Patrick Rudolph | 74203de | 2017-11-20 11:57:01 +0100 | [diff] [blame] | 13 | |
| 14 | return (id == 4) ? PLATFORM_MOBILE : PLATFORM_DESKTOP_SERVER; |
| 15 | } |