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>