[sel4] Building seL4test for x86_64 on Debian
6 Dec
2018
6 Dec
'18
3:12 a.m.
I thought I got all of the host dependencies installed, but evidently I am doing something wrong. I am building on a Debian 9 (x86_64) system. I ran the init script from the build directory with the -DPLATFORM=x86_64 and -DSIMULATION=0 options. I then ran ninja with no options. Please find attached the output of running these 2 steps. I'd appreciate a gentle nudge in the right direction. Thanks! Dave
2237
Age (days ago)
2237
Last active (days ago)
0 comments
1 participants
participants (1)
-
Dave Richards