replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

turn serial pc16550d into module

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Turn serial driver into module and fix userspace GIC

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

T168: modify system to be more/less verbose about pagefaults.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

hpet source code cleanup

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

HPET Driver which now can configure FSB interrupts and receive them

Signed-off-by: Rana Afifi <afrana@student-ethz.ch>

caps: adding endpoint cap type for UMP endpoints

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

kernel: dont print message on user page faults

Signed-off-by: Kornilios Kourtis <kkourt@inf.ethz.ch>

kernel,x86_64: print rsp,rbp when taking kernel fault

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

fpu: unifing the fpu's context switching
x86_64: fixing the stack's alignment

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

fpu: unifing the fpu's context switching
x86_64: fixing the stack's alignment

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

Correct irq delivery in int_route client

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Kaluga: Make unified irq src caps work on armv7

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

kernel,x86_64: print rsp,rbp when taking kernel fault

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

systime: introducing system time based on time stamp counter/global timer, removing kernel_now

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

network: replacing the continuation manager with simple queues
e1000: small performance tweaks

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

IRQ: Add range to IRQSrc cap

To prepare for MSIx, we change the IRQSrc cap so that it does not
represent a single interrupt source but a whole range. This commit
changes it to a range.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

T258: Delete GPT cspace functionality and rename new functions

This commit deletes all the old GPT cnode code, and renames the new two-level
functions to the "old" names (e.g. caps_lookup_slot() is now a two-level
cspace function).

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

IRQ: Activate PCI interrupts

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

IRQ: Kaluga start driver with IRQ caps.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

IRQ: use uint64_t everywhere for int numbers, renamed controller

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

kernel: x86,k1om: #define START_KERNEL_PHYS as alias for {X86_64,K1OM}_START_KERNEL_PHYS

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T258, T264, T270: Implement two-level cspace layout using L1/L2 CNode objects.

distops functionality is NYI.

This commit also makes the root cnodes explicit for sys_map(), closes T270.

Notable changes:
* LRPC LMP endpoints are regular capabilities in L2 cnode, no longer in root
cnode.
* Capability operations take a capability address for the root cnode relative
to which capability addresses are to be resolved. The root cnode capability
address must be resolvable in the current domains cspace.

Closes T264.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

Squashed changes of e89aa91..6ca6bdf (master as of 2016-04-18).

Take this commit out when merging

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

IRQ: bugfix (no index variable shadow)

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

IRQ: refactoring caps names

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

IRQ: Now using (again) a table of ep caps for dispatch and a bitmap for
allocations.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

IRQ: Found bug, added assertion

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

IRQ: added irq source capability and make the inthandler setup use it

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

IRQ: Making the code actually work. ACPI interface

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

IRQ: changed kernel to use irq_dest_cap table with IRQVector caps

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

IRQ: added IRQVector cap

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

IRQ: getting pci_client closer to using new interface

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

IRQ: work in progress on receiving side

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

IRQ: Started on the local/driver side. Not a working state.

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

x86_64: irq vector allocation: simplify looping over KCBs and fix loop to check in right kcb

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

x86_64: added more descriptive error message in generic_handle_user_exception.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

Cleanup of Xeon Phi Kernel:

Merged duplicated code from k1om architecture with the X86_64 architecture.
No-longer files in arch/k1om have been deleted.

Put KCB syscalls in platform independent kernel source.

Add KCB to 32bit IRQ code.

Make stop core interrupt a proper kernel level IRQ.

Fix comments and remove debug printing.

last fixes for coreboot.

kernel: more descriptive irq debug message.

Version used to benchmark the postgres.

Updated kcb selection logic in send_user_interrupt(). Added clarifying comment in kcb_remove().

Added code to make deferred events fairly accurate and added shutdown to update operation in cpuboot.

Fixed various interrupt bits.

Move IRQ for halt() to handle_irq.

Added functionality to stop core using IPIs.

Added missing pieces for enabling moving kcbs with domains that are taking interrupts.

Implemented call chain for making interrupts movable.

Moved interrupt vector allocation into cpu driver.

Revert "[HACK] changes some measurements and makes code compile."

This reverts commit a5704d79a0ec8fb150b27c7e200708bb448b43ba.
Was not intended to push this.

[HACK] changes some measurements and makes code compile.

DO not commit upstream.

Band-aid fix for IRQ 222 troubles we've had.

Added moving kcb off shared cpu driver, currently crashes in newly started kernel on target core.

Added home kcb which is used for interrupt handling.

Added invocation to remove kcb from kcb scheduling ring.

Various debugging and disabled mdb sanity checks.

Added switching of kcb on timer interrupt and added invocation to add kcb to ring.

Renamed kernel global kcb to kcb_current. Fixed wakeup code to directly reference kcb->wakeup_queue_head.

Removed lastdisp and kernel_now from kcb; call scheduler_reset_time() on restore instead.

Moved irq_dispatch in kcb again.

Revert "Move IRQ state (IDT, dispatch table) inside kcb."

This reverts commit ac289eec65c328f9f7e2ed53f077f2303eeeb61c.

Conflicts:
kernel/arch/x86_64/irq.c

Debug output.

Added kernel_now to kcb and fixed restoring of scheduler state.

Move IRQ state (IDT, dispatch table) inside kcb.

Allows us to restore the IDT state on updates.

Moving IRQ state in KCB.

saving irq state.

Trying to figure out why APIC is no longer working

The Arrakis backport to Barrelfish.

Here are the macro changes:
* Made lwIP an optional network stack
* Moved lwIP headers out of the general include directory
* Parallel hake
* CPU-virtualized ("arrakis") applications
* libarrakis is a new libOS that uses CPU features directly
* arrakismon is a new monitor for Arrakis apps
* QEMU Multiboot support instead of GRUB (enables KVM)
* e10k virtual function driver
* Software virtual->physical mapping (substitutes IOMMU)
* To be replaced soon with an Intel IOMMU driver
* Better GDB and stack tracing support
* New POSIX support
* pthreads, inet_*(), usleep(), syslimits.h, sigaction(), mman.h,
* resource.h, sendmsg(), recvmsg(), mkfifo(), syslog.h, sysexits.h,
* fcntl(), getegid(), getgid(), pipe(), rlimits
* epoll support
* Separate waitset for interrupts
* Thread TLS key and ID support
* Moved PCRE headers to include/, where they usually are
* Intel performance counters support
* Handle boot-time RAM overflow (for machines with >=64GB RAM)
* Arranet network stack
* Fix for build of lib/barrelfish/arch/x86_64/dispatch.c without -O2
* New comandline options to pci daemon:
* maxvfs=x, x is number of virtual functions to create for each
* device supporting it
* skb_bridge_program=x, x is SKB bridge programming script to use
* bridge_bios is a script that uses the BIOS pre-set values, like Linux
* Correctly build machine-optimized newlib parts
* Library versions of e1000 and e10k drivers
* Support for virtualization in e10k driver
* e10k datacenter control plane daemon
* Modified hellotest to be both a Barrelfish and an Arrakis application

I've decided not to include the lwIP 1.4.1 code, as the port is
not finished and who wants to use lwIP anyway with the Arrakis
network stack and mTCP being released soon. If you want this,
let me know (it's hugely superior to lwIP 1.3.1).

I've made the code backwards-compatible with Barrelfish. The
default should do what Barrelfish does. One can specify
commandline options to the PCI daemon and e10k driver to
configure I/O virtualization and the optional arrakismon allows
loading CPU-virtualized "arrakis" programs.

There are more pending changes, such as support for hardware
rate limiting and weighted round robin packet scheduling, but
I'd like these to go in first, before I push the rest.

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.

Webserver working for small websites

Partially working version of the modified network stack.
Status: Networking works
Small website test works (Barrelfish website without pdfs)
Full website test does not work (Barrelfish website with pdfs)
Tests done with e1000n running on separate core

New tracing infrastructure

This is a Distributed Systems Lab project by
Alexander Grest <agrest@student.ethz.ch> and David Stolz <stolzda@ethz.ch>

x86_64/irq.c: print SP on page fault error message

Added tracing events for low latency networking
---
include/trace/trace.h | 34 +++++++++++++++++++++++--
kernel/arch/x86_64/irq.c | 4 +++
lib/lwip/src/barrelfish/idc_barrelfish.c | 9 +++++++
lib/lwip/src/core/pbuf.c | 16 ++++++++++++
usr/bench/net_latency/elb/Hakefile | 7 +++--
usr/bench/net_latency/elb/benchmark.c | 35 ++++++++++++++++++++++++++
usr/bench/net_latency/elb/benchmark_tcp.c | 38 +++++++++++++++++++++++++++++
usr/drivers/e10k/Hakefile | 11 +++++---
usr/drivers/e10k/e10k_qdriver.c | 26 ++++++++++---------
9 files changed, 158 insertions(+), 22 deletions(-)

Removed some redundant (identical) files.

--HG--
rename : kernel/include/arch/x86_64/debug.h => kernel/include/arch/x86/debug.h
rename : kernel/include/arch/x86_64/pic.h => kernel/include/arch/x86/pic.h

Replaced caddr_t type with capaddr_t to avoid conflict with libc

for i in $(find . -type f)
do
grep -r caddr_t $i
if [ $? -eq 0 ]
then
sed 's/caddr_t/capaddr_t/g' $i > $i.sed
mv $i.sed $i
fi
done

Fixed long-standing 64-bit constants bug, by dropping C enumerations in favor of CPP macros.
Updated documentation.

Fixed weird crashing bug.

--HG--
rename : devices/x86_64_pagetable.dev => devices/amd64.dev

Changes to get RX benchmark working.
There are lot of small changes in this commit and also extra code for debugging
and performance evaluation which will be cleaned in future versions.

add support for one-shot timers

- Only for x86_64, and disabled by default using a config variable
- changes in existing code are guarded by #ifdefs

Add some scheduling related comments

Merge from ASPLOS tree.

Initial version of public stable barrelfish repository.