Re: 1. Re: errors when make camkes-tutorials-manifest the output of ls -al for my .stack directory: drwxrwxr-x 4 talos talos 4096 3月 29 17:19 .stack my username is talos Thanks
------------------ Original ------------------ From: "devel-request";devel-request@sel4.systems; Date: Sat, Apr 1, 2017 06:29 AM To: "devel"devel@sel4.systems;
Subject: Devel Digest, Vol 35, Issue 1
Send Devel mailing list submissions to devel@sel4.systems
To subscribe or unsubscribe via the World Wide Web, visit https://sel4.systems/lists/listinfo/devel or, via email, send a message with subject or body 'help' to devel-request@sel4.systems
You can reach the person managing the list at devel-owner@sel4.systems
When replying, please edit your Subject line so it is more specific than "Re: Contents of Devel digest..."
Today's Topics:
1. Re: errors when make camkes-tutorials-manifest (Stephen.Sherratt@data61.csiro.au) 2. Announcing seL4 5.0.0 (Kent.Mcleod@data61.csiro.au) 3. Creating process from not root process (rad021993@yandex.ru) 4. Confusion with various memory address (Daniel (Xiaolong) Wang)
----------------------------------------------------------------------
Message: 1 Date: Fri, 31 Mar 2017 03:46:28 +0000 From: Stephen.Sherratt@data61.csiro.au To: devel@sel4.systems Subject: Re: [seL4] errors when make camkes-tutorials-manifest Message-ID: 1490931983542.96806@data61.csiro.au Content-Type: text/plain; charset="iso-8859-1"
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! -------------- next part -------------- An HTML attachment was scrubbed... URL: http://sel4.systems/pipermail/devel/attachments/20170331/b3b2c08e/attachment-0001.html