#ifndef HV_CONFIG_H
#define HV_CONFIG_H

#define HV_PROJECT_NAME "ariel"
#define HV_BUILD_MODE "qemu-virt-aarch64"
#define HV_BUILD_ID "reproducible-local"

#define CONFIG_PLATFORM_QEMU_VIRT 1
#define CONFIG_HV_LOAD_ADDRESS 0x40080000ull
#define CONFIG_UART_BASE 0x09000000ull
#define CONFIG_UART_SIZE 0x00001000ull
#define CONFIG_RTC_BASE 0x09010000ull
#define CONFIG_RTC_SIZE 0x00001000ull
#define CONFIG_FW_CFG_BASE 0x09020000ull
#define CONFIG_FW_CFG_SIZE 0x00001000ull
#define CONFIG_GPIO_BASE 0x09030000ull
#define CONFIG_GPIO_SIZE 0x00001000ull
#define CONFIG_PCI_ECAM_BASE 0x4010000000ull
#define CONFIG_PCI_ECAM_SIZE 0x10000000ull
#define CONFIG_GICD_BASE 0x08000000ull
#define CONFIG_GICD_SIZE 0x00010000ull
#define CONFIG_GITS_BASE 0x08080000ull
#define CONFIG_GITS_SIZE 0x00020000ull
#define CONFIG_GICR_BASE 0x080A0000ull
#define CONFIG_GICR_SIZE 0x00F60000ull

#define CONFIG_PAGE_SIZE 4096ull
#define CONFIG_HV_STACK_SIZE 0x10000ull
#define CONFIG_GUEST_IPA_BASE 0x40000000ull
#define CONFIG_GUEST_RAM_BASE 0x42000000ull
#define CONFIG_GUEST_RAM_SIZE 0x30000000ull
#define CONFIG_GUEST_STACK_TOP (CONFIG_GUEST_IPA_BASE + 0x00100000ull)
#define CONFIG_GUEST_ENTRY CONFIG_GUEST_IPA_BASE
#define CONFIG_LINUX_IMAGE_LOAD_PA CONFIG_GUEST_RAM_BASE
#define CONFIG_LINUX_IMAGE_MAX_SIZE CONFIG_GUEST_RAM_SIZE
#define CONFIG_LINUX_INITRD_PA (CONFIG_GUEST_RAM_BASE + 0x04000000ull)
#define CONFIG_LINUX_INITRD_IPA (CONFIG_GUEST_IPA_BASE + 0x04000000ull)
#define CONFIG_LINUX_INITRD_MAX_SIZE 0x2be00000ull
#ifndef CONFIG_LINUX_INITRD_SIZE
#define CONFIG_LINUX_INITRD_SIZE 0ull
#endif
#define CONFIG_LINUX_DTB_PA (CONFIG_GUEST_RAM_BASE + 0x2fe00000ull)
#define CONFIG_LINUX_DTB_IPA (CONFIG_GUEST_IPA_BASE + 0x2fe00000ull)
#define CONFIG_LINUX_DTB_MAX_SIZE 0x00200000ull

#ifndef CONFIG_BOOT_LINUX
#define CONFIG_BOOT_LINUX 0
#endif

#ifndef CONFIG_MONITOR_MUTATION
#define CONFIG_MONITOR_MUTATION 0
#endif

#define CONFIG_LOG_CAPACITY 256u
#define CONFIG_POLICY_STRICT 1
#define CONFIG_ENABLE_WFI_TRAPS 1
#define CONFIG_ENABLE_SMC_TRAPS 1
#define CONFIG_ENABLE_DEBUG_LOG 1
#define CONFIG_VTIMER_IRQ 27u

#endif