Ethernet on l4linux

[Matthias Lange]

Hi,

On 02/18/2015 10:49 AM, Gayathri Nagarajan wrote:
> I am getting an ERROR : NETWORK IS UNREACHABLE, when i run socket
> program in l4linux. 
> 
> I am using 64-bit host, upon that - virtual machine which is 32-bit,
> upon that - ubuntu, upon that - fiasco+l4re+l4re+l4linux

I assume that your L4Re setup is targeting i386?

> *//l4linux_socket.io <http://l4linux_socket.io> file*
> 
> l4linux => new System_bus()
> {
> NIC => wrap(hw-root.NIC);
> }

Where does the 'NIC' hardware device comes from?

> *//l4linux_socket.cfg*
> 
> -- vim:set ft=lua:
> 
> local lxname = "vmlinuz";
> if L4.Info.arch() == "arm" then
>   lxname = "vmlinuz.arm";
> end
> 
> loader = L4.default_loader;
> vbus_l4linux = loader:new_channel();
> 
> loader:start(
> {
> caps={ 
> sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0);
> icu = L4.Env.icu;
> l4linux = vbus_l4linux:svr();
> },
> },"rom/io -vv  rom/l4linux_socket.io <http://l4linux_socket.io>");

You can make io more verbose by adding more 'v' options. Then io also
prints the hardware device tree.

Matthias.

> loader:start(
>   { caps = {
>       log = L4.Env.log:m("rws"),
>       vbus = vbus_l4linux;
>     },
>     l4re_dbg = L4.Dbg.Warn,
>     log = { "l4linux", "yellow" },
>   },
>   "rom/" .. lxname .. " mem=64M console=ttyLv0 l4x_rd=rom/new_ramdisk
> root=0:0 ramdisk_size=8400 init=/bin/sh");
> 
> *//l4linux_socket.list*
> 
> modaddr 0x01100000
> 
> entry l4linux_socket
> 
> kernel fiasco -serial_esc
> roottask moe rom/l4linux_socket.cfg
> module l4re
> module ned
> module l4linux_socket.cfg
> module io
> module l4linux_socket.io <http://l4linux_socket.io>
> module vmlinuz
> module new_ramdisk
> 
> Please help us in resolving the error
> 
> Thank you
> 
> 
> 
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
> 


-- 
Matthias Lange, matthias.lange at kernkonzept.com, +49 - 351 - 41 88 86 14

Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.
Geschäftsführer: Dr.-Ing. Michael Hohmuth