./riscv64-unknown-elf-gcc -nostdlib -nostartfiles   -Wl,-Ttext=0x80000000   Page.S   -o Page.o
./riscv64-unknown-elf-objcopy --remove-section .bss Page.o Page
# Copy file
scp home:/home/akilan/Documents/cheri/riscv/riscv/bin/Page .

./clang   --target=riscv64-unknown-elf   -march=rv64gcxcheri -mabi=l64pc128 -nostdlib -nostartfiles   -Wl,-Ttext=0x80000000 -o testC cheri-bounds-seal-change-read.S (Compile riscv bare-metal)

# Copy test file back
scp home:/home/akilan/cheri/output/sdk/bin/testC .
