Hello, l4 hackers :-)

To secure Ethernet on L4 Linux, I've modified source code with yeongchann and we succeeded to obtain Ethernet. we've used 'l4re-snapshot-2014022818' and Freescale i.MX6 Quad SABRE SD board (ARMv7a)

I don't know whether this patch can contribute l4 project. But can you check 'imx6q-fec.patch' ?

Attached patch is

1. to change UART2 to UART1 for imx6q sabresd (learned by Ahmed Ammar) and 2. to fix compile error(fiasco and l4linux) , 3. to modify source related to FEC ethernet.

To put it concretely...

===== About UART for imx6q sabresd ===== (learned by Ahmed Ammar) *1) mem_layout-arm-imx.cpp* (src/kernel/fiasco/src/kern/arm/bsp/imx/mem_layout-arm-imx.cpp) * 2) uart-imx.cpp* (src/kernel/fiasco/src/kern/arm/bsp/imx/uart-imx.cpp) * 3) imx.cc* (src/l4/pkg/bootstrap/server/src/platform/imx.cc) ==============================

===== About compile error ===== *1) tb_entry_output.cc* (src/kernel/fiasco/src/kern/tb_entry_output.cc) *2) Kconfig* (src/l4linux/arch/l4/Kconfig) ======================= ** ===== For FEC ethernet ======* **1) mach_setup.c* (src/l4linux/arch/l4/kernel/arch-arm/mach_setup.c) * **2) fec.h* (src/l4linux/drivers/net/ethernet/freescale/fec.h)

*3) fec_main.c* (src/l4linux/drivers/net/ethernet/freescale/fec_main.c)

*4) fec_ptp.c* (src/l4linux/drivers/net/ethernet/freescale/fec_ptp.c)

*5) Kconfig* (src/l4linux/drivers/net/ethernet/freescale/Kconfig) ======================

===== For access HW on L4Linux ===== *1) imx6q.io* (src/l4/conf/examples/imx6q.io)

*2) l4lx-imx6q.cfg* (src/l4/conf/examples/l4lx-imx6q.cfg) * **3) modules.list* (src/l4/conf/modules.list) ===========================

I hope this is of some help to someone.

- Taeung -