Hi Talos,


Are you the owner of /home/talos/.stack ?


For comparison, the output of ls -al for my .stack directory:

drwxr-xr-x  10 ssteve ssteve      4096 Jan 24 15:25  .stack


My username is ssteve.


You could also try renaming your .stack directory so stack can create a new one for you.


Cheers,

Stephen

From: Devel <devel-bounces@sel4.systems> on behalf of talos <2486580938@qq.com>
Sent: Thursday, 30 March 2017 9:28 PM
To: devel
Subject: [seL4] errors when make camkes-tutorials-manifest
 
Hi,
When I made this tutorials, there was an error;
You are not the owner of '/home/talos/.stack/'. Aborting to protect file permissions.
Retry with '--allow-different-user' to disable this precaution
How can I do this, thanks!