debugging changes.. temparary commit
---
 include/arch/cc.h                                 |    4 +-
 include/contmng/contmng.h                         |    2 +-
 include/lwip/debug.h                              |   44 +++++++++------
 include/lwip/opt.h                                |    2 +-
 include/lwipopts.h                                |    4 +-
 lib/lwip/src/barrelfish/idc_barrelfish.c          |   19 ++++++-
 lib/lwip/src/barrelfish/idc_net_control.c         |    8 ++-
 lib/lwip/src/core/pbuf.c                          |    8 +++
 lib/lwip/src/core/udp.c                           |    6 +-
 lib/net_queue_manager/net_soft_filters_srv_impl.c |   13 +++--
 lib/net_queue_manager/queue_manager.c             |    2 +-
 lib/nfs/rpc_debug.h                               |    2 +-
 usr/webserver/http_cache.c                        |   61 ++++++++++++++-------
 usr/webserver/http_server.c                       |    3 +
 usr/webserver/webserver_session.h                 |    2 +-
 15 files changed, 125 insertions(+), 55 deletions(-)
Fixed handling of buffer chains in lwip
---
 lib/lwip/src/barrelfish/idc_barrelfish.c |   15 ++++++---------
 lib/net_queue_manager/queue_manager.c    |    4 ----
 2 files changed, 6 insertions(+), 13 deletions(-)
e10k: Fixed monolithic version to work with the
 updated handling of memory mappings
---
 usr/drivers/e10k/e10k_cdriver.c |    7 ++++++-
 usr/drivers/e10k/e10k_qdriver.c |    2 +-
 2 files changed, 7 insertions(+), 2 deletions(-)
e10k: Modified driver to use advanced descriptor
 format
---
 devices/e10k_q.dev              |  124 +++++++++++++++++++++++++++++++++++++--
 usr/drivers/e10k/e10k_cdriver.c |    2 +-
 usr/drivers/e10k/e10k_qdriver.c |    9 ++-
 usr/drivers/e10k/e10k_queue.h   |   55 +++++++++--------
 usr/vmkitmon/pci_ethernet.c     |   12 ++--
 5 files changed, 160 insertions(+), 42 deletions(-)
e10k: Added interrupt throttling (fixed by command
 line atm)
---
 if/e10k.if                      |    3 +++
 usr/drivers/e10k/e10k_cdriver.c |   22 ++++++++++++++++
 usr/drivers/e10k/e10k_qdriver.c |   53 +++++++++++++++++++++++++++++++++------
 3 files changed, 71 insertions(+), 7 deletions(-)
Add e10k to vmkitmon dependencies
---
 usr/vmkitmon/Hakefile |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
Removed a repetitive section from Practical-guide technote.
omap44xx: added new init code to kernel serial driver.
e10k: Modified driver to use advanced descriptor
 format
---
 devices/e10k_q.dev              |  124 +++++++++++++++++++++++++++++++++++++--
 usr/drivers/e10k/e10k_cdriver.c |    2 +-
 usr/drivers/e10k/e10k_qdriver.c |    9 ++-
 usr/drivers/e10k/e10k_queue.h   |   55 +++++++++--------
 usr/vmkitmon/pci_ethernet.c     |   12 ++--
 5 files changed, 160 insertions(+), 42 deletions(-)
e10k: First (broken) attempt at implementing driver
 side of RSC
If RSC is enabled the RX queue gets somehow stuck (skips a descriptor).
---
 devices/e10k.dev                |    5 +-
 devices/e10k_q.dev              |    5 +-
 if/e10k.if                      |    3 +-
 usr/drivers/e10k/e10k_cdriver.c |   38 ++++++++++++---
 usr/drivers/e10k/e10k_qdriver.c |   31 +++++++++----
 usr/drivers/e10k/e10k_queue.h   |   97 ++++++++++++++++++++++++++++++++++-----
 6 files changed, 148 insertions(+), 31 deletions(-)
e10k: Added interrupt throttling (fixed by command
 line atm)
e10k: First (broken) attempt at implementing driver
 side of RSC
If RSC is enabled the RX queue gets somehow stuck (skips a descriptor).
---
 devices/e10k.dev                |    5 +-
 devices/e10k_q.dev              |    5 +-
 if/e10k.if                      |    3 +-
 usr/drivers/e10k/e10k_cdriver.c |   38 ++++++++++++---
 usr/drivers/e10k/e10k_qdriver.c |   31 +++++++++----
 usr/drivers/e10k/e10k_queue.h   |   97 ++++++++++++++++++++++++++++++++++-----
 6 files changed, 148 insertions(+), 31 deletions(-)
e10k: Fixed mackerel file, fixing queue hang with RSC
---
 devices/e10k.dev                |    3 ++-
 usr/drivers/e10k/e10k_cdriver.c |    3 +--
 2 files changed, 3 insertions(+), 3 deletions(-)
Carry flags with network packets sent and received
Intended for coordinating features like hardware checksumming etc.
between the driver and the network stack.
---
 if/net_queue_manager.if                           |    5 ++-
 include/lwip/pbuf.h                               |    3 ++
 include/net_interfaces/flags.h                    |   18 +++++++++
 include/net_interfaces/net_interfaces.h           |    6 ++-
 include/net_queue_manager/net_queue_manager.h     |   12 ++++--
 lib/lwip/src/barrelfish/idc_barrelfish.c          |    9 +++--
 lib/lwip/src/core/pbuf.c                          |    2 +
 lib/net_interfaces/interface_raw.c                |   21 ++++++----
 lib/net_queue_manager/frag.c                      |   17 ++++----
 lib/net_queue_manager/net_soft_filters_srv_impl.c |   44 +++++++++++----------
 lib/net_queue_manager/queue_manager.c             |   26 +++++++-----
 lib/net_queue_manager/queue_manager_local.h       |    3 +-
 usr/bench/net_latency/elb/benchmark.c             |    6 +--
 usr/drivers/e1000/e1000n.c                        |    2 +-
 usr/drivers/e10k/e10k_qdriver.c                   |    2 +-
 usr/drivers/lo/lo_qdriver.c                       |    3 +-
 usr/drivers/rtl8029/rtl8029.c                     |    3 +-
 usr/vmkitmon/pci_vmkitmon_eth.c                   |    2 +-
 18 files changed, 118 insertions(+), 66 deletions(-)
 create mode 100644 include/net_interfaces/flags.h
e10k: Implement TX checksum offload for IP,TCP,UDP
Also modifies lwip to actually use these offloads (currently hardcoded)
---
 include/ipv4/lwip/inet_chksum.h      |    2 -
 include/net_interfaces/flags.h       |    2 +
 lib/lwip/src/core/ipv4/icmp.c        |    3 +-
 lib/lwip/src/core/ipv4/inet_chksum.c |    3 --
 lib/lwip/src/core/ipv4/ip.c          |    3 +-
 lib/lwip/src/core/tcp_out.c          |   14 +++++--
 lib/lwip/src/core/udp.c              |    5 ++-
 usr/drivers/e10k/e10k_qdriver.c      |   52 ++++++++++++++++++++++++-
 usr/drivers/e10k/e10k_queue.h        |   70 ++++++++++++++++++++++++++++------
 9 files changed, 129 insertions(+), 25 deletions(-)
e10k, lwip: Implement hardware checksum verification
 for IP/TCP/UDP
---
 devices/e10k_q.dev              |   53 ++++++++++++++++++++++++++++++++++++---
 include/net_interfaces/flags.h  |   11 ++++++++
 lib/lwip/src/core/ipv4/ip.c     |    4 ++-
 lib/lwip/src/core/tcp_in.c      |    5 +++-
 lib/lwip/src/core/udp.c         |    4 ++-
 usr/drivers/e10k/e10k_qdriver.c |    8 +++---
 usr/drivers/e10k/e10k_queue.h   |   45 +++++++++++++++++++++++++++++++--
 7 files changed, 118 insertions(+), 12 deletions(-)
Changed net_queue_manager interface to pass
 opaque-value per buffer for tx
This simplifies the handling of buffer chains
---
 include/net_queue_manager/net_queue_manager.h     |    4 ++--
 lib/net_queue_manager/net_soft_filters_srv_impl.c |    4 ++++
 lib/net_queue_manager/queue_manager.c             |    4 +++-
 usr/drivers/e1000/e1000n.c                        |    5 ++---
 usr/drivers/e10k/e10k_qdriver.c                   |    9 ++++-----
 usr/drivers/lo/lo_qdriver.c                       |   13 ++++++++-----
 usr/drivers/rtl8029/rtl8029.c                     |    7 ++++---
 usr/vmkitmon/pci_vmkitmon_eth.c                   |    4 ++--
 8 files changed, 29 insertions(+), 21 deletions(-)
lwip: Fixed handling of buffer chains
---
 lib/lwip/src/barrelfish/idc_barrelfish.c |   10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)
Changed net_queue_manager interface for receiving
 buffer chains
---
 if/net_queue_manager.if                           |    3 +-
 include/net_interfaces/net_interfaces.h           |    2 +-
 include/net_queue_manager/net_queue_manager.h     |    7 ++-
 lib/lwip/src/barrelfish/idc_barrelfish.c          |    8 +--
 lib/net_interfaces/interface_raw.c                |    5 +-
 lib/net_queue_manager/net_soft_filters_srv_impl.c |   12 +++--
 lib/net_queue_manager/queue_manager.c             |   58 +++++++++++----------
 lib/net_queue_manager/queue_manager_local.h       |    4 +-
 usr/bench/net_latency/elb/benchmark.c             |    3 +-
 usr/drivers/e1000/e1000n.c                        |    5 +-
 usr/drivers/e10k/e10k_qdriver.c                   |   23 ++++++--
 usr/drivers/rtl8029/rtl8029.c                     |    5 +-
 usr/vmkitmon/pci_vmkitmon_eth.c                   |    5 +-
 13 files changed, 90 insertions(+), 50 deletions(-)
Software filtering now supports chained packets
This does not yet work together with IP fragmentation
---
 include/bfdmuxvm/vm.h                             |    3 +-
 include/net_queue_manager/net_queue_manager.h     |    4 +-
 lib/bfdmuxvm/vm.c                                 |  138 ++++++++++++++++-----
 lib/lwip/src/barrelfish/idc_barrelfish.c          |   19 ++-
 lib/lwip/src/netif/bfeth.c                        |   21 +---
 lib/net_queue_manager/frag.c                      |    8 +-
 lib/net_queue_manager/net_soft_filters_srv_impl.c |  113 +++++++++++------
 lib/net_queue_manager/queue_manager.c             |    6 +-
 8 files changed, 210 insertions(+), 102 deletions(-)