[
        {
                "Name": "buildflags",
                "Cflags": [
                        "--target=aarch64-none-elf"
                ]
        }
]