Network lwip for imx6

older
sel4 on Raspberry Pi 3b Not Working

wong xuguo

9 Aug 2018 9 Aug '18

11:19 a.m.

Hi, I am a student fron Nanjing university, a fresh man of microkernel, specially, know very little about the seL4. Recently I accept a chellange about porting the lwip to sel4, on arch of imx6, does any one could give me a clue? I found the source of camkes does have this code, could I do something to port, to make the lwip work? What my aim is make a tcp echo server. Thank you for all of you help. Best regards from Xuguo Wang

Attachments:

attachment.html (text/html — 582 bytes)

Show replies by date

Fabrizio Bertocci

9 Aug 9 Aug

11:30 a.m.

Xuguo, lwip on IMX6 is already available on seL4 (I have been using it in my project). Look at the seL4/util_libs repository. There you can find the ethernet driver and the lwip. Make sure to use the latest version (from master) that contains important fixes to the driver. Regards, Fabrizio On Wed, Aug 8, 2018 at 9:19 PM wong xuguo wrote:

...

Hi, I am a student fron Nanjing university, a fresh man of microkernel, specially, know very little about the seL4. Recently I accept a chellange about porting the lwip to sel4, on arch of imx6, does any one could give me a clue? I found the source of camkes does have this code, could I do something to port, to make the lwip work? What my aim is make a tcp echo server. Thank you for all of you help.

Best regards from Xuguo Wang _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel

Chris Guikema

10 Aug 10 Aug

4:06 a.m.

Xuguo, To add on, DornerWorks has also created an example http-server application that uses lwIP and the Ethernet drivers to host an http-server on an imx6. It’s on an older version of seL4 (7.0.0), but you can download it and try it out for yourself. $ repo init -u https://github.com/dornerworks/dw-camkes-manifests -m http_server.xmlhttps://github.com/dornerworks/dw-camkes-manifests%20-m%20http_server.xml $ repo sync You’ll need to go to the FileSystem component directory and run the makefs python script. $ python apps/camkes_http/components/FileSystem/makefs.py $ make http_server_defconfig $ make There is a readme document in the camkes_http application that overviews exactly how the system is setup, and how the Ethdriver and Router components work. In order to make an echo server, you would just need to create an interface to echo the messages back and forth. Let me know if you have any other questions, Chris Guikema DornerWorks Ltd From: Devel [mailto:devel-bounces@sel4.systems] On Behalf Of Fabrizio Bertocci Sent: Wednesday, August 8, 2018 9:30 PM To: xuguo.wong@gmail.com Cc: devel@sel4.systems Subject: Re: [seL4] Network lwip for imx6 CAUTION: This email originated from outside the organization. Do no click links or open attachments unless you recognize the sender and know the content is safe. Xuguo, lwip on IMX6 is already available on seL4 (I have been using it in my project). Look at the seL4/util_libs repository. There you can find the ethernet driver and the lwip. Make sure to use the latest version (from master) that contains important fixes to the driver. Regards, Fabrizio On Wed, Aug 8, 2018 at 9:19 PM wong xuguo mailto:xuguo.wong@gmail.com> wrote: Hi, I am a student fron Nanjing university, a fresh man of microkernel, specially, know very little about the seL4. Recently I accept a chellange about porting the lwip to sel4, on arch of imx6, does any one could give me a clue? I found the source of camkes does have this code, could I do something to port, to make the lwip work? What my aim is make a tcp echo server. Thank you for all of you help. Best regards from Xuguo Wang _______________________________________________ Devel mailing list Devel@sel4.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel

wong xuguo

11 Aug 11 Aug

8:53 p.m.

hi, Chris.Guikenma, I follow what you told, but when I run the make command, it report error: error: invalid application of 'sizeof' to incomplete type 'struct eth_plat_config' struct eth_plat_config *config = (struct eth_plat_config *)malloc(sizeof(struct eth_plat_config)); That means the struct of eth_plat_config not defined, so I grep to search this struct, find nothing. Could you tell me where to find this file containing this struct? Chris Guikema 于2018年8月10日周五上午2:06写道：

...

Xuguo,

To add on, DornerWorks has also created an example http-server application that uses lwIP and the Ethernet drivers to host an http-server on an imx6.

It’s on an older version of seL4 (7.0.0), but you can download it and try it out for yourself.

$ repo init -u https://github.com/dornerworks/dw-camkes-manifests -m http_server.xml

$ repo sync

You’ll need to go to the FileSystem component directory and run the makefs python script.

$ python apps/camkes_http/components/FileSystem/makefs.py

$ make http_server_defconfig

$ make

There is a readme document in the camkes_http application that overviews exactly how the system is setup, and how the Ethdriver and Router components work.

In order to make an echo server, you would just need to create an interface to echo the messages back and forth.

Let me know if you have any other questions,

Chris Guikema

DornerWorks Ltd

*From:* Devel [mailto:devel-bounces@sel4.systems] *On Behalf Of *Fabrizio Bertocci *Sent:* Wednesday, August 8, 2018 9:30 PM *To:* xuguo.wong@gmail.com *Cc:* devel@sel4.systems *Subject:* Re: [seL4] Network lwip for imx6

CAUTION: This email originated from outside the organization. Do no click links or open attachments unless you recognize the sender and know the content is safe.

Xuguo,

lwip on IMX6 is already available on seL4 (I have been using it in my project).

Look at the seL4/util_libs repository. There you can find the ethernet driver and the lwip.

Make sure to use the latest version (from master) that contains important fixes to the driver.

Regards,

Fabrizio

On Wed, Aug 8, 2018 at 9:19 PM wong xuguo wrote:

Hi,

I am a student fron Nanjing university, a fresh man of microkernel, specially,

know very little about the seL4.

Recently I accept a chellange about porting the lwip to sel4, on arch of imx6,

does any one could give me a clue?

I found the source of camkes does have this code, could I do something to port,

to make the lwip work? What my aim is make a tcp echo server.

Thank you for all of you help.

Best regards

from Xuguo Wang

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel

Leonid Meyerovich

11 Dec 11 Dec

1:27 a.m.

Hi Chris, I have downloaded http-server example for imx6 (I am working on zynqmp), just to use it as a reference to see how did you implement a synchronization functions, but I didn’t find these function to be implemented. Is this example not complete? Thanks you, Leonid From: Devel On Behalf Of Chris Guikema Sent: Thursday, August 9, 2018 2:06 PM To: Fabrizio Bertocci ; xuguo.wong@gmail.com Cc: devel@sel4.systems Subject: Re: [seL4] Network lwip for imx6 Xuguo, To add on, DornerWorks has also created an example http-server application that uses lwIP and the Ethernet drivers to host an http-server on an imx6. It’s on an older version of seL4 (7.0.0), but you can download it and try it out for yourself. $ repo init -u https://github.com/dornerworks/dw-camkes-manifests -m http_server.xmlhttps://github.com/dornerworks/dw-camkes-manifests%20-m%20http_server.xml $ repo sync You’ll need to go to the FileSystem component directory and run the makefs python script. $ python apps/camkes_http/components/FileSystem/makefs.py $ make http_server_defconfig $ make There is a readme document in the camkes_http application that overviews exactly how the system is setup, and how the Ethdriver and Router components work. In order to make an echo server, you would just need to create an interface to echo the messages back and forth. Let me know if you have any other questions, Chris Guikema DornerWorks Ltd From: Devel [mailto:devel-bounces@sel4.systems] On Behalf Of Fabrizio Bertocci Sent: Wednesday, August 8, 2018 9:30 PM To: xuguo.wong@gmail.commailto:xuguo.wong@gmail.com Cc: devel@sel4.systemsmailto:devel@sel4.systems Subject: Re: [seL4] Network lwip for imx6 CAUTION: This email originated from outside the organization. Do no click links or open attachments unless you recognize the sender and know the content is safe. Xuguo, lwip on IMX6 is already available on seL4 (I have been using it in my project). Look at the seL4/util_libs repository. There you can find the ethernet driver and the lwip. Make sure to use the latest version (from master) that contains important fixes to the driver. Regards, Fabrizio On Wed, Aug 8, 2018 at 9:19 PM wong xuguo mailto:xuguo.wong@gmail.com> wrote: Hi, I am a student fron Nanjing university, a fresh man of microkernel, specially, know very little about the seL4. Recently I accept a chellange about porting the lwip to sel4, on arch of imx6, does any one could give me a clue? I found the source of camkes does have this code, could I do something to port, to make the lwip work? What my aim is make a tcp echo server. Thank you for all of you help. Best regards from Xuguo Wang _______________________________________________ Devel mailing list Devel@sel4.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel ________________________________ This message and all attachments are PRIVATE, and contain information that is PROPRIETARY to Intelligent Automation, Inc. You are not authorized to transmit or otherwise disclose this message or any attachments to any third party whatsoever without the express written consent of Intelligent Automation, Inc. If you received this message in error or you are not willing to view this message or any attachments on a confidential basis, please immediately delete this email and any attachments and notify Intelligent Automation, Inc.

2201

Age (days ago)

2324

Last active (days ago)

List overview

Download

4 comments

4 participants

participants (4)

Chris Guikema
Fabrizio Bertocci
Leonid Meyerovich
wong xuguo