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 <chris.guik...@dornerworks.com> 于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.w...@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 <xuguo.w...@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.systems
> https://sel4.systems/lists/listinfo/devel
>
>
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel
