Sel4bench is not working for me on x86_64

Hi

I’m trying to run the sel4bench. I followed the instructions over at https://github.com/seL4/sel4bench-manifest .
The only difference is that I’m trying to run it on the x86_64 platform as such:

../init-build.sh -DRELEASE=TRUE -DPLATFORM=x86_64

It doesn’t seem to work and I’m getting the following output:

seL4 Benchmark
==============

Switching to a safer, bigger stack... 
Setting up global fault handler...
Failed to allocate object of size 140737488355328, error 1
Failed to allocate object of size 70368744177664, error 1
Failed to allocate object of size 35184372088832, error 1
Failed to allocate object of size 17592186044416, error 1
Failed to allocate object of size 8796093022208, error 1
Failed to allocate object of size 4398046511104, error 1
Failed to allocate object of size 2199023255552, error 1
Failed to allocate object of size 1099511627776, error 1
Failed to allocate object of size 549755813888, error 1
Failed to allocate object of size 274877906944, error 1
Failed to allocate object of size 137438953472, error 1
Failed to allocate object of size 68719476736, error 1
Failed to allocate object of size 34359738368, error 1
Failed to allocate object of size 17179869184, error 1
Failed to allocate object of size 8589934592, error 1
Failed to allocate object of size 4294967296, error 1
Failed to allocate object of size 2147483648, error 1
Failed to allocate object of size 1073741824, error 1
Failed to allocate object of size 536870912, error 1
Failed to allocate object of size 268435456, error 1

ipc Benchmarks
==============


irquser Benchmarks
==============

arch_simple_get_IOPort_cap not implemented
Failed to get capability for IOPort range 0x43-0x43
PIT command failed!
[Cond failed: error]
	Failed to init timer
Benchmark failed, result 1

Register dump:
rip	:0x4133d0
rsp	:0x100116c0
rflags	:0x246
rax	:0x10000000
rbx	:0x100116e0
rcx	:0x41fce8
rdx	:0xffffffffffffffff
rsi	:0x1
rdi	:0x2
rbp	:0x10011700
r8	:0x2b
r9	:0x12008180c100f
r10	:0x1
r11	:0x202
r12	:0x7235a0
r13	:0x1
r14	:0x0
r15	:0x0
fs_base	:0x723a50
gs_base	:0x0
[Cond failed: result == NULL]
	Failed to run benchmark irquser

I also tried the docker build method, but that made no difference.
I also tried without -DRELEASE=TRUE, with -DSIMULATE=TRUE, but neither of those made a difference.

Thanks in advance