[
    {
        "name": "initrd",
        "options":
        [
            "CONFIG_BLK_DEV_INITRD",
            "CONFIG_RD_GZIP",
            "CONFIG_RD_BZIP2",
            "CONFIG_RD_LZMA",
            "CONFIG_RD_XZ"
        ]
    },
    {
        "name": "kconfig",
        "options":
        [
            "CONFIG_PROC_FS",
            "CONFIG_IKCONFIG",
            "CONFIG_IKCONFIG_PROC"
        ]
    },
    {
        "name": "base_arm64",
        "options":
        [
            "CONFIG_ARM64_VA_BITS_48",
            "CONFIG_ARM64",
            "CONFIG_ARM_ARCH_TIMER"
        ]
    }
]