Angel Pons | 6e5aabd | 2020-03-23 23:44:42 +0100 | [diff] [blame^] | 1 | /* SPDX-License-Identifier: GPL-2.0-only */ |
| 2 | /* This file is part of the coreboot project. */ |
Patrick Rudolph | 74203de | 2017-11-20 11:57:01 +0100 | [diff] [blame] | 3 | |
| 4 | #include <types.h> |
| 5 | #include <console/console.h> |
| 6 | #include <device/device.h> |
Patrick Rudolph | 74203de | 2017-11-20 11:57:01 +0100 | [diff] [blame] | 7 | #include "sandybridge.h" |
| 8 | |
| 9 | enum platform_type get_platform_type(void) |
| 10 | { |
| 11 | const int id = get_platform_id(); |
| 12 | if (id != 1 && id != 4) |
| 13 | printk(BIOS_WARNING, "WARN: Unknown platform id 0x%x\n", id); |
| 14 | |
| 15 | return (id == 4) ? PLATFORM_MOBILE : PLATFORM_DESKTOP_SERVER; |
| 16 | } |