Added: new boot.S, serial out for Xeon Phi

added two scripts for building gnu gcc and mpss gcc (both are broken sofar)

updated patches

patches for the mpss gcc

Getting Hake Ready with K1OM Architecture and Standard GCC

fixed wrong linker

modified patch

Added: K1OM machine number

Added: New architecture to targets / arch folders and hake files

Added: Added Arch Specific Folders in libbarrelfish / barrelfish-kpi / kernel based on the x86_64 implementations.

Added: k1om architecture in kernel hakefile

Fixed: Build target

Fixed: missing ;;

Added: the correct tool chain build script.

Added toolchain/* to gitignore

Added: New Hake target for k1om archtecture (Xeon Phi)

Cleanup

Second set of patches for Bulk Transfer DSL project

See commit 854eafa

Cleanup

This should now be equivalent to previous dc2b342

Added code from two Bulk Transfer Distributed Systems Lab projects:

1) Reto Achermann, Antoine Kaufmann. Bulk Transfer over Network
2) Added code from two Bulk Transfer Distributed Systems Labs projects

The reports are available from the Barrelfish website.

Fixed libbarrelfish modify_flags code to do correct inside_region() calls.

Added modify_flags test. Fixed missing local_phys_to_mem in kernel modify_flags.

Fixed caps_copy_to_cte to insert new cap after minting.

Fixed mdb_skew and mdb_split to properly update root node if necessary.

Fixed minor error in function signature for compilation of eMAC driver for SCC.

Fixed couple of minor typos in symbolic targets for arm

reverted the code to support software filtering for chained incoming packets,
as that code was not working.

merge

merge

merge

merge

merge

merge

Updated the code so that Hardware checksum calculation is not hardcoded
anymore.  Currently, lwip calls a function ``is_hw_feature_enabled``
and based on answer lwip calculates partial or full checksum.
Note: is_hw_feature_enabled is currently nop, and needs implementation.

merge

merge

e10k: Enable use of MSI-X
This allows us to use interrupts also in standalone queue drivers
---
 if/e10k.if                      |    2 +
 usr/drivers/e10k/Hakefile       |   17 ++--
 usr/drivers/e10k/e10k_cdriver.c |  205 ++++++++++++++++++++++++++++++++++----
 usr/drivers/e10k/e10k_qdriver.c |   55 +++++++++--
 usr/drivers/e10k/helper.c       |   88 +++++++++++++++++
 usr/drivers/e10k/helper.h       |   18 ++++
 6 files changed, 347 insertions(+), 38 deletions(-)

pci: Simple MSI-X implementation
Main limitation of this implementation is that it uses regular IRQs as
interrupt vectors, which limits the available number of MSI-X vectors
available and also needlessly reduces the number of available IRQs.
---
 errors/errno.fugu     |    3 +
 if/pci.if             |   10 +++
 include/pci/pci.h     |   18 ++++-
 lib/pci/pci_client.c  |   29 +++++++
 usr/pci/Hakefile      |    2 +-
 usr/pci/pci.c         |   11 +++
 usr/pci/pci.h         |    5 +
 usr/pci/pci_msix.c    |  205 +++++++++++++++++++++++++++++++++++++++++++++++++
 usr/pci/pci_service.c |   35 +++++++++
 9 files changed, 316 insertions(+), 2 deletions(-)
 create mode 100644 usr/pci/pci_msix.c

Missing change in net_queue_manager (forgot to commit this)
---
 lib/net_queue_manager/queue_manager_local.h |    2 ++
 1 files changed, 2 insertions(+), 0 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(-)

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(-)

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 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(-)

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(-)

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(-)

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: 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(-)

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: 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(-)

omap44xx: added new init code to kernel serial driver.

Removed a repetitive section from Practical-guide technote.

adding a tag for release 2013-12-13

README: add more details

merge

Updated the README and Practical guide so that they have instructions
for PC and other architectures as well.

Tidied up the ARM documentation

Tidying up techical notes

run-pdflatex.sh: remove silent failure in run_latex

docs: Added references and figure for memory layout

docs: Fixed typo in make command

docs: Added some information on gem5 and references to papers

Added some FIXMEs in ARM technote.

docs: Fixed compile error

docs: Added documentation from various places

docs: Added potential sources for content of several parts of the Tech Note

docs: Added initial version of ARM tech note

tn004 (vm): added some bits on new kernel interface.

Removed duplicate entries in devices Hakefile

Removed duplicate device file entries

Tech-note on how to write device drivers in BF.

merge

Added description of about include files needed to compile simple application

merge

Overhauled TN-000, and moved some content elsewhere (into TN-011)

--HG--
rename : doc/000-overview/LMP.pdf => doc/011-idc/figures/LMP.pdf
rename : doc/000-overview/UMP.pdf => doc/011-idc/figures/UMP.pdf

Converted the README file with rst format so that it can be easily converted
into tex source code.  Also added/modified some scripts which will cleanup
the README and generated tex code so that it is easy to include it into the
practical guide tech note.

Added missing file readme.tex

Added tech-note 18

armv7: Fixed multicore support on gem5

Map sysflags before accessing them and use virtual rather than
physical address for writes.

Use the multicore menu.lst to boot two cores and run memtest on the
second core.

Using the polling mode for for e1000n driver as the interrupt mode was
not working very reliably.

Fixed the dependency issue in vmkitmon where it was missing the e10k as
depencency.

Fixed the dependency issue for e10k card, and also minor modifications to ::
 - handle variable type correctly for printing
 - handle ``set but not used`` warning.

merge

Fixed compilation related issues.  Now the code compiles on most of the
architectures

adding a tag for release 2013-11-27

one more merge

Spawntest needs to cope with colorful output.

Add missing monitor flounder defs dependency to libterm_server Hakefile.

merge with code from tty

Added strndup() to oldc. Moved paths.h to generic headers.

--HG--
rename : lib/newlib/newlib/libc/include/paths.h => include/paths.h

Added (unimplemented) invoke_idcap_identify() to ARM.

Return 0 when reading from a daemon.

Merged.

Network stack is fixed now.
HTTPERF is working on both LMP and UMP communication channels.

adding a tag for release 2013-11-17

harness: Removed ikq02 from set of load generating machines for httperf.

Merged.

Cleaned up code and removed all the debugging related code

Webserver working for full website with LMP.

This version of code still does not work for UMP,
and also it does not work for httperf test.

Also, there is lot of commented out code which was helpful for me
in debugging the issue of randome page-fault.