Re: [seL4] question about SEL4PROJ /camkes-arm-vm-manifest

...

...

...

...

"PX" == PX writes:

PX> Hi, all I posted this question yesterday, and get no answer. Let PX> me to be more specific this time. Have you installed Haskell stack as per https://wiki.sel4.systems/CAmkES curl -sSL https://get.haskellstack.org/ | sh Peter C -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group Data61 (formerly NICTA)