| /* SPDX-License-Identifier: GPL-2.0+ */ | |
| /* | |
| * Copyright (C) 2019 Intel Corporation <www.intel.com> | |
| */ | |
| #include <env/x86.env> | |
| /* don't use video */ | |
| stdout=serial | |
| stderr=serial | |
| usb_pgood_delay=40 | |
| ramdiskaddr=0x4000000 | |
| ramdiskfile=initrd | |
| bootdev=usb | |
| bootdevnum=0 | |
| bootdevpart=0 | |
| bootfsload=fatload | |
| bootusb=setenv bootdev usb; boot | |
| bootscsi=setenv bootdev scsi; boot | |
| bootmmc=setenv bootdev mmc; boot | |
| bootargs=console=ttyS0,115200 console=tty0 |