Expose socket header & disable socket polling

In this patch, we expose the socket API through lwIP. In its current
implementation, we do disable support for select()/poll() on a file
descriptor since an implementation is missing in vfscore.
We are going to add this feature again in the near future.

Signed-off-by: Sharan Santhanam <sharan.santhanam@neclab.eu>

Update to latest libukmpi and libuklock configuration system

Signed-off-by: Sharan Santhanam <sharan.santhanam@neclab.eu>

Implement getsockname(), getperrname() and sock options

Signed-off-by: Sharan Santhanam <sharan.santhanam@neclab.eu>

Implement closing of sockets descriptor with libvfscore

Signed-off-by: Sharan Santhanam <sharan.santhanam@neclab.eu>

Implement read and write operation for sockets with libvfscore

Signed-off-by: Sharan Santhanam <sharan.santhanam@neclab.eu>

Implement accept(), listen(), and connect() for libvfscore

Signed-off-by: Sharan Santhanam <sharan.santhanam@neclab.eu>

Implement bind() for libvfscore

Signed-off-by: Sharan Santhanam <sharan.santhanam@neclab.eu>

Implement socket() for libvfscore

Signed-off-by: Sharan Santhanam <sharan.santhanam@neclab.eu>

Add prototype for libvfscore for Sockets

Initial implementation for integrating Sockets to libvfscore
in Unikraft.

Signed-off-by: Sharan Santhanam <sharan.santhanam@neclab.eu>

Adopt to new configuration variable name scheme of Unikraft

Adopts to the new configuration variable name scheme introduced
with latest Unikraft build system (see patch de27b01: "build:
add prefix CONFIG_ to every kconfig symbol")

Signed-off-by: Sharan Santhanam <sharan.santhanam@neclab.eu>

Adopt to new Unikraft libraries: libukmpi and libuklock

Add dependency to libukmpi and libuklock libraries that were
recently introduced with Unikraft.

Signed-off-by: Sharan Santhanam <sharan.santhanam@neclab.eu>

Convert patches from p0 to p1 format

Signed-off-by: Sharan Santhanam <sharan.santhanam@neclab.eu>

Enable menu-based configuration of sockets and IPv6

Removes the hardcoded and enabled lwIP options for sockets and IPv6 that
actually can be configured using Config.uk

Signed-off-by: Sharan Santhanam <sharan.santhanam@neclab.eu>

Adhering to uksched API for thread creation

sys_thread_new was unnecessarily using a static allocated variable for
creating a thread. On failure, uk_printd() was called without specifying
a level which fails. Additonally the code style of this function is updated.

Signed-off-by: Sharan Santhanam <sharan.santhanam@neclab.eu>

Correct handling of mailbox return values on post and recv

uk_mbox_mt_post_try and uk_mbox_mt_recv_try return a value
smaller than 0 in case of errors.

Signed-off-by: Yuri Volchkov <yuri.volchkov@neclab.eu>

Introduce lwip_getsock_status()

This function is intended to be used for implementing poll().
It returns a status flag for a socket fd. It is added as patch to
the lwIP sources.

Signed-off-by: Yuri Volchkov <yuri.volchkov@neclab.eu>

Initial port of lwIP to Unikraft

This is our initial port of lwIP to Unikraft as external
library. For now you need newlib to make it work.

Signed-off-by: Simon Kuenzer <simon.kuenzer@neclab.eu>
Signed-off-by: Kenichi Yasukata <kenichi.yasukata@neclab.eu>
Signed-off-by: Felipe Huici <felipe.huici@neclab.eu>
Signed-off-by: Florian Schmidt <florian.schmidt@neclab.eu>
Signed-off-by: Sharan Santhanam <sharan.santhanam@neclab.eu>

initial commit (empty)