- Devel - lists.sel4.systems

(no subject)
by Jensen Zhang 24 Dec '14

24 Dec '14

Hi Will, About the message, "Unknown command 'bootelf'", it seems that this command wasn't configured and compiled. You'd better recompile th u-boot image. You can modify the source code to config this command. Add a macro define "#define CONFIG_CMD_ELF" in the file "include/config_cmd_default.h" to enable the command "bootelf". This link can help you, http://elastos.org/redmine/issues/17472#change-34139. Lucky! -- Jensen Zhang Tongji University

1 0

Run seL4 on OMAP4
by 张静轩 22 Dec '14

22 Dec '14

Hi, We have run the seL4 on pandaboard[1] (omap4 platform). It seems that the kernel works well, excpet for some tests about timer. Is there anyone interested in it or helping us? The source code can be got from the following link[2] now. (We will upload to github latter.) btw. I think the devices and platforms supported by seL4 are too few. How to make it easy to let seL4 support more devices? Can anyone give me some suggestion? I suggest to write a document to port seL4 easier. :) --- Jensen Zhang Tongji University 2014/12/22 [1] http://pandaboard.org/ [2] http://elastos.org/review/#/admin/projects/HD-Elastos

2 1

Re: [seL4] Devel Digest, Vol 7, Issue 3
by Kenneth 20 Dec '14

20 Dec '14

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(a)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(a)sel4.systems > > You can reach the person managing the list at > devel-owner(a)sel4.systems > > 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(???) <pei_xilong(a)tongji.edu.cn> > To: <devel(a)sel4.systems> > Subject: [seL4] I want to port a filesystem onto seL4 > Message-ID: <01c401d01b53$e054be30$a0fe3a90$(a)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(a)sel4.systems > https://sel4.systems/lists/listinfo/devel > > > ------------------------------ > > End of Devel Digest, Vol 7, Issue 3 > ***********************************

3 2

I want to port a filesystem onto seL4
by XilongPei(裴喜龙) 19 Dec '14

19 Dec '14

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

1 0

what is fastpath
by Pei.XiLong(裴喜龙) 17 Dec '14

17 Dec '14

Hi, Who can give me some description about seL4 fastpath? Xilong Pei 2014/12/17

2 1

wrong word spelling in program
by XilongPei(裴喜龙) 27 Nov '14

27 Nov '14

Hi, Who wrote the program in file $/libplatsupport/plat_include/omap4/platsupport/plat/gpt_constants.h , GPT4_DEFICE_PADDR is wrong spelled, it should be GPT1_DEVICE_PADDR. static void *paddrs[] = {(void *) GPT1_DEVICE_PADDR, (void *) GPT2_DEFICE_PADDR, (void *) GPT3_DEFICE_PADDR, (void *) GPT4_DEFICE_PADDR, (void *) GPT5_DEFICE_PADDR, (void *) GPT6_DEFICE_PADDR, (void *) GPT7_DEFICE_PADDR, (void *) GPT8_DEFICE_PADDR, (void *) GPT9_DEFICE_PADDR, (void *) GPT10_DEFICE_PADDR, (void *) GPT11_DEFICE_PADDR}; Xilong Pei Tongji University 2014/11/19

2 1

Confused on porting/using musl lib c
by chengkunck＠gmail.com 27 Nov '14

27 Nov '14

Hi All, I want to use musl lib c but I'm a little confused on the following two projects: libmuslc and musllibc. I went through their Kconfig and brief intros, so my question now is do I need them both to port/use musl lib c on sel4? It might be a dumb question but I'm stuck here, any help is appreciated. Best regards, Kenneth

2 2

where can I get beagle_run_elf program
by XilongPei(裴喜龙) 21 Nov '14

21 Nov '14

Hi, In the Makefile, a program beagle_run_elf is referred, Where can I get it? --------------------------------------- # This relies on a helper script to build a bootable image simulate-beagle: beagle_run_elf images/sel4test-driver-image-arm-omap3 --------------------------------------- Xilong Pei Tongji University 2014/11/19

2 1

run seL4 on pandaboard
by Pei.XiLong(裴喜龙) 14 Nov '14

14 Nov '14

Hi, I have built an image for my pandaboard, but I have no bootelf u-boot command, I use go command instead, get the following error: Panda # fatload mmc 0 0x82000000 sel4test-driver-image-arm-omap3 Panda # go 0x82008000 ## Startting application at 0x82008000 ... after this message, the system is dead. How to do next? Xilong Pei Tongji University 2014/11/14

1 0

Re-identification of capabilities
by Norman Feske 13 Nov '14

13 Nov '14

Hello, I hope you don't mind me spamming the list with my problems. I have a question about the association of capabilities with process-local meta data. As far as I understand, the "badging" of capabilities is the recommended mechanism for servers to attach a server-local meaningful value to a capability. After having handed out the capability to a client, it gets this value reported each time the client (or any other process to which the capability was delegated to) invokes the capability or delegates the capability back to the server (e.g., as RPC argument). Now, I have the following scenario: There are three processes, a factory (F), a mediator (M), and a client (C). The factory is responsible for physically allocating objects (e.g., in Genode's case, one example would be the core process that hands out dataspaces). The mediator is a process that sits in-between the client and the factory (in the Genode world, this could the the init process). It keeps records about the allocation and may use this information to implement a policy. The client is the designated user of the object. To create an object, C will call M, which, in turn, will call F on behalf of C: alloc create F <-------- M <--------- C F will create the actual object and a corresponding badged capability and returns the badged capability as return value to M. Because M wants to keep records about the lifetime and parameters of the created objects, it needs to associate a process-local meta-data structure to the capability. badged cap F ---------> M C : (meta data <-> cap) M stores the meta data in a process-local data base using the cap as key. It then hands out the cap to the actual client. Sometime later, the client decides to destroy the object (or perform another operation at M that takes the cap as argument): badged cap F M ---------> C | | uses object (e.g., invoking the cap) destroy | (cap arg) | ? <----------+ When M receives the destroy request with the cap of the to-be-destroyed object as argument, it wants to look up the corresponding meta data from its data base. But unfortunately, the cap argument of the destroy function got assigned a new local name within M (some number within the receive window of M). How can M find the meta data associated with the allocated object? Best regards Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

5 8