# SPDX-License-Identifier: Apache-2.0
# Copyright (c) 2020 Google LLC
# Author: Andrew Scull <ascull@google.com>

brk.bin: brk.c
	clang --target=aarch64-none-eabi -c -nostdlib -fno-builtin -ffreestanding $< -o brk.o
	aarch64-linux-gnu-objcopy -O binary brk.o $@

disas: brk.bin
	aarch64-linux-gnu-objdump -D -b binary -m aarch64 $<