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，devel-request@sel4.systems 写道：
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:
- I want to port a filesystem onto seL4 (XilongPei (???))
Message: 1 Date: Fri, 19 Dec 2014 14:20:22 +0800 From: XilongPei(???) pei_xilong@tongji.edu.cn To: devel@sel4.systems Subject: [seL4] I want to port a filesystem onto seL4 Message-ID: 01c401d01b53$e054be30$a0fe3a90$@tongji.edu.cn 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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
End of Devel Digest, Vol 7, Issue 3
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:devel-bounces@sel4.systems] 代表 Kenneth 发送时间: 2014年12月20日 9:09 收件人: devel@sel4.systems; pei_xilong@tongji.edu.cn 主题: 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，devel-request@sel4.systems 写道：
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:
- I want to port a filesystem onto seL4 (XilongPei (???))
Message: 1 Date: Fri, 19 Dec 2014 14:20:22 +0800 From: XilongPei(???) pei_xilong@tongji.edu.cn To: devel@sel4.systems Subject: [seL4] I want to port a filesystem onto seL4 Message-ID: 01c401d01b53$e054be30$a0fe3a90$@tongji.edu.cn 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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
End of Devel Digest, Vol 7, Issue 3
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
Hi Pei,
Can you tell me a little more about your requirements? If all that you need is a read only, RAM file system, you might consider using a CPIO archive[1,2].
The root task of the sel4test project[3] uses this method to load and execute a file that contains the test application[4].
- Alex
[1] http://en.wikipedia.org/wiki/Cpio [2] https://github.com/seL4/libcpio [3] https://github.com/seL4/sel4test/tree/master/apps/sel4test-driver [4] https://github.com/seL4/sel4test/tree/master/apps/sel4test-tests
________________________________________ From: Devel [devel-bounces@sel4.systems] on behalf of Pei.XiLong(裴喜龙) [pei.xilong@kortide.com] Sent: Saturday, 20 December 2014 12:50 To: 'Kenneth'; devel@sel4.systems Subject: [seL4] 答复: Devel Digest, Vol 7, Issue 3
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:devel-bounces@sel4.systems] 代表 Kenneth 发送时间: 2014年12月20日 9:09 收件人: devel@sel4.systems; pei_xilong@tongji.edu.cn 主题: 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，devel-request@sel4.systems 写道：
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:
- I want to port a filesystem onto seL4 (XilongPei (???))
Message: 1 Date: Fri, 19 Dec 2014 14:20:22 +0800 From: XilongPei(???) pei_xilong@tongji.edu.cn To: devel@sel4.systems Subject: [seL4] I want to port a filesystem onto seL4 Message-ID: 01c401d01b53$e054be30$a0fe3a90$@tongji.edu.cn 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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
End of Devel Digest, Vol 7, Issue 3
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
________________________________
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
-
Alexander Kroh -
Kenneth -
Pei.XiLong(裴喜龙)