Hi Kenneth,
When seL4 started, its first process will deal with some files,
these files have to be stored in filesystem, so I have to startup a
filesystem after I boot seL4 at once. Yes, the filesystem is in a its own
process and service to others with RPC, it is a service.
-----邮件原件-----
发件人: Devel [mailto:[email protected]] 代表 Kenneth
发送时间: 2014年12月20日 9:09
收件人: [email protected]; [email protected]
主题: Re: [seL4] Devel Digest, Vol 7, Issue 3
Hi Pei,
Maybe you could make it happen on cmkes. As far as I know it's a set of
OS' services for sel4, just like Iguana for OKL4. FS should be a service, so
I think it's better ported into cmkes.
This email is typed on my iPhone. I'd like to apologize for any mistake in
it.
> 在 2014年12月20日，9:00，[email protected] 写道：
>
> Send Devel mailing list submissions to
> [email protected]
>
> 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
> [email protected]
>
> You can reach the person managing the list at
> [email protected]
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Devel digest..."
>
>
> Today's Topics:
>
> 1. I want to port a filesystem onto seL4 (XilongPei (???))
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Fri, 19 Dec 2014 14:20:22 +0800
> From: XilongPei(???) <[email protected]>
> To: <[email protected]>
> Subject: [seL4] I want to port a filesystem onto seL4
> Message-ID: <[email protected]>
> Content-Type: text/plain; charset="gb2312"
>
> Hi,
> I want to port a filesystem onto seL4, the source code is here:
> https://github.com/RT-Thread/rt-thread/tree/master/components/dfs Can
> anyone give me some suggestion?
>
>
> Xilong Pei
> Tongji University
> 2014/12/19
>
>
>
>
>
> ------------------------------
>
> Subject: Digest Footer
>
> _______________________________________________
> Devel mailing list
> [email protected]
> https://sel4.systems/lists/listinfo/devel
>
>
> ------------------------------
>
> End of Devel Digest, Vol 7, Issue 3
> ***********************************
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
