This is an example to demonstrate how to have a timer execute in EL1 on a raspberry pi 3 in bare metal assembly.
Created demo to support the user question in https://forums.raspberrypi.com/viewtopic.php?t=365600
Generate kernel with:
$ aarch64-none-elf-as -o rpi3-interrupt-demo.o rpi3-interrupt-demo.s
$ aarch64-none-elf-ld --no-warn-rwx-segments -N -Ttext=0x0 -o rpi3-interrupt-demo.elf rpi3-interrupt-demo.o
$ aarch64-none-elf-objcopy --set-start=0x0 rpi3-interrupt-demo.elf -O binary rpi3-interrupt-demo.img