Run
make
In order for user-space configuration of clockspeed to work, you need to add
intel_pstate=disable
to the GRUB_CMDLINE_LINUX in /etc/default/grub. For example:
GRUB_CMDLINE_LINUX="console=tty0 console=ttyS1,115200n8 biosdevname=0 net.ifnames=1 intel_pstate=disable"
Try
examples/hello_world.exe
or
examples/random_access.exe
make setup;