------------------ 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>