A newbie question. I follow the link [1] trying to build sel4 with qemu. But when `make`ing the binary, it throws error message `make: stack: Command not found`. I `apt-get install stacks` but it still fails with the same error. What packages should I install for making sel4 with Ubuntu 16.04 LTS, GNU Make 4.1, and gcc version 5.4.0 20160609?
Thanks
[Error Message]
-- Build files have been written to: /path/to/sel4/stage/x86/pc99/accelerator
ninja: no work to do.
[apps/vm] building...
[HEADERS]
[STAGE] autoconf.h
[apps/vm] done.
[parse-capDL] building...
make: Entering directory '/path/to/sel4/projects/capdl/capDL-tool'
stack setup
make: stack: Command not found
Makefile:39: recipe for target 'sandbox' failed
make: *** [sandbox] Error 127
make: Leaving directory '/path/to/sel4/projects/capdl/capDL-tool'
Makefile:53: recipe for target '/path/to/sel4/stage/x86/pc99/parse-capDL/parse-capDL' failed
make: *** [/path/to/sel4/stage/x86/pc99/parse-capDL/parse-capDL] Error 2