/* Generated by Kconfiglib (https://github.com/ulfalizer/Kconfiglib) */
#ifndef __HV_KCONFIG__
#define __HV_KCONFIG__
#define CONFIG_VM_CFG 1
#define CONFIG_MRB_VM1 1
#define CONFIG_MRB_VM1_NAME "mrb-vm1-aaag"
#define CONFIG_MRB_VM1_ACPI 1
#define CONFIG_MRB_VM1_MEM 1750
#define CONFIG_MRB_VM1_CPU 3
#define CONFIG_MRB_VM1_VSBL 1
#define CONFIG_MRB_VM1_VSBL_IMAGE "/usr/share/acrn/bios/VSBL.bin"
#define CONFIG_MRB_VM1_GVT 1
#define CONFIG_MRB_VM1_GVT_DEV "2,pci-gvt"
#define CONFIG_MRB_VM1_GVT_ARG "64 448 8"
#define CONFIG_MRB_VM1_HOSTBRIDGE 1
#define CONFIG_MRB_VM1_HOSTBRIDGE_OPT "0:0,hostbridge"
#define CONFIG_MRB_VM1_USB_XHCI 1
#define CONFIG_MRB_VM1_USB_XHCI_OPT "7,xhci,1-1:1-2:1-3:2-1:2-2:2-3:cap=apl"
#define CONFIG_MRB_VM1_VIRTIO_RPMB 1
#define CONFIG_MRB_VM1_VIRTIO_RPMB_OPT "13,virtio-rpmb"
#define CONFIG_MRB_VM1_VIRTIO_HYPER_DMABUF 1
#define CONFIG_MRB_VM1_VIRTIO_HYPER_DMABUF_OPT "10,virtio-hyper_dmabuf"
#define CONFIG_MRB_VM1_WDT_I6300ESB 1
#define CONFIG_MRB_VM1_WDT_I6300ESB_OPT "11,wdt-i6300esb"
#define CONFIG_MRB_VM1_VIRTIO_BLK 1
#define CONFIG_MRB_VM1_VIRTIO_BLK_OPT "3,virtio-blk,b,/data/android/android.img"
#define CONFIG_MRB_VM1_VIRTIO_NET 1
#define CONFIG_MRB_VM1_VIRTIO_NET_OPT "9,virtio-net,tap_AaaG"
#define CONFIG_MRB_VM1_PTDEV 1
#define CONFIG_MRB_VM1_PTDEV_USB 1
#define CONFIG_MRB_VM1_PTDEV_USB_OPT_1 "8,passthru,0/15/1"
#define CONFIG_MRB_VM1_PTDEV_USB_ID_1 "8086 5aaa"
#define CONFIG_MRB_VM1_PTDEV_USB_DEVINFO_1 "0000:00:15.1"
#define CONFIG_MRB_VM1_PTDEV_AUDIO 1
#define CONFIG_MRB_VM1_PTDEV_AUDIO_OPT "14,passthru,0/e/0,keep_gsi"
#define CONFIG_MRB_VM1_PTDEV_AUDIO_ID "8086 5a98"
#define CONFIG_MRB_VM1_PTDEV_AUDIO_DEVINFO "0000:00:0e.0"
#define CONFIG_MRB_VM1_PTDEV_AUDIO_CODEC 1
#define CONFIG_MRB_VM1_PTDEV_AUDIO_CODEC_OPT "23,passthru,0/17/0"
#define CONFIG_MRB_VM1_PTDEV_AUDIO_CODEC_ID "8086 5ab4"
#define CONFIG_MRB_VM1_PTDEV_AUDIO_CODEC_DEVINFO "0000:00:17.0"
#define CONFIG_MRB_VM1_PTDEV_CSME 1
#define CONFIG_MRB_VM1_PTDEV_CSME_OPT "15,passthru,0/f/0"
#define CONFIG_MRB_VM1_PTDEV_CSME_ID "8086 5a9a"
#define CONFIG_MRB_VM1_PTDEV_CSME_DEVINFO "0000:00:0f.0"
#define CONFIG_MRB_VM1_PTDEV_IPU 1
#define CONFIG_MRB_VM1_PTDEV_IPU_OPT "12,passthru,0/3/0"
#define CONFIG_MRB_VM1_PTDEV_IPU_ID "8086 5a88"
#define CONFIG_MRB_VM1_PTDEV_IPU_DEVINFO "0000:00:03.0"
#define CONFIG_MRB_VM1_PTDEV_IPU_I2C "22,passthru,0/16/0"
#define CONFIG_MRB_VM1_PTDEV_IPU_I2C_ID "8086 5aac"
#define CONFIG_MRB_VM1_PTDEV_IPU_I2C_DEVINFO "0000:00:16.0"
#define CONFIG_MRB_VM1_PTDEV_SD 1
#define CONFIG_MRB_VM1_PTDEV_SD_OPT "27,passthru,0/1b/0"
#define CONFIG_MRB_VM1_PTDEV_SD_ID "8086 5aca"
#define CONFIG_MRB_VM1_PTDEV_SD_DEVINFO "0000:00:1b.0"
#define CONFIG_MRB_VM1_PTDEV_WIFI 1
#define CONFIG_MRB_VM1_PTDEV_WIFI_OPT "18,passthru,3/0/0,keep_gsi"
#define CONFIG_MRB_VM1_PTDEV_WIFI_ID "11ab 2b38"
#define CONFIG_MRB_VM1_PTDEV_WIFI_DEVINFO "0000:03:00.0"
#define CONFIG_MRB_VM1_PTDEV_BLUETOOTH 1
#define CONFIG_MRB_VM1_PTDEV_BLUETOOTH_OPT "24,passthru,0/18/0"
#define CONFIG_MRB_VM1_PTDEV_BLUETOOTH_ID "8086 5abc"
#define CONFIG_MRB_VM1_PTDEV_BLUETOOTH_DEVINFO "0000:00:18.0"
#define CONFIG_MRB_VM1_IOC 1
#define CONFIG_MRB_VM1_IOC_UART "/run/acrn/ioc_"
#define CONFIG_MRB_VM1_IOC_REASON "0x20"
#define CONFIG_MRB_VM1_LPC 1
#define CONFIG_MRB_VM1_LPC_OPT "1:0,lpc"
#define CONFIG_MRB_VM1_LPC_COM1 1
#define CONFIG_MRB_VM1_LPC_COM1_OPT "com1,stdio"
#define CONFIG_MRB_VM1_LPC_COM2 1
#define CONFIG_MRB_VM1_LPC_COM2_OPT "com2,/run/acrn/ioc_"
#endif