#
9bd8d1d5 |
|
03-Apr-2019 |
Reto Achermann <reto.achermann@inf.ethz.ch> |
replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
|
#
3a41b163 |
|
11-Oct-2018 |
Lukas Humbel <lukas.humbel@inf.ethz.ch> |
hpet source code cleanup Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
|
#
4683ae91 |
|
30-Aug-2018 |
Rana Afifi <afrana@student-ethz.ch> |
Driver can now trigger and receive interrupts through FSB and I/O APIC mapping Signed-off-by: Rana Afifi <afrana@student-ethz.ch>
|
#
efaf9fa4 |
|
04-Nov-2016 |
Lukas Humbel <lukas.humbel@inf.ethz.ch> |
IRQ: Instantiate MSIx controller and tell driver The PCI client library now needs to be adapted. It still assumes that it gets only one interrupt. Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
|
#
cfad610f |
|
20-Apr-2017 |
Gerd Zellweger <mail@gerdzellweger.com> |
Added functionality in libskb to store and retrieve caps. This uses a custom scanf and snprintf implementation that has an additional format specifier (%Q) to transparently load and store caps from and in the SKB. Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
|
#
244ab29c |
|
27-Feb-2017 |
Adam Turowski <adam.turowski@inf.ethz.ch> |
flounder: merging rpc client with a binding layer Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
|
#
7b6e6480 |
|
10-Aug-2016 |
Lukas Humbel <lukas.humbel@inf.ethz.ch> |
SKB: Better debug output Now also the last executed query is included in the debug output of DEBUG_SKB_ERR Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
|
#
eadd9d4c |
|
26-Jul-2016 |
Adam Turowski <adam.turowski@inf.ethz.ch> |
Adjustments of IPC to match new convention (static buffers). (Flounder) Fixing a token passing in 32-bit architectures. Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
|
#
11a71b19 |
|
16-Nov-2015 |
Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch> |
skb: improve client string processing Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
|
#
df8f4902 |
|
13-Nov-2015 |
Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch> |
T186: skb: Fix off-by-one error when assembling query string. Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
|
#
bb3a2efb |
|
13-Nov-2015 |
Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch> |
skb: use errval_t as return value where it actually is an errval_t Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
|
#
427ec889 |
|
18-May-2014 |
Reto Achermann <acreto@student.ethz.ch> |
SKB: Enabling SKB simple for K1OM, Extended Buffers When running the SKB on Babybel, the size of the buffer was too small to receive the entire bridge programming plan, so the buffers are extended on SKB service and client side with a common define to make sure the buffers have matching size.
|
#
125c93aa |
|
30-Apr-2014 |
Reto Achermann <acreto@student.ethz.ch> |
Replaced skb and ACPI with arrakis branch.
|
#
de906f69 |
|
28-Feb-2014 |
Simon Peter <simpeter@cs.washington.edu> |
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.
|
#
48800060 |
|
05-Feb-2012 |
Kornilios Kourtis <kkourt@inf.ethz.ch> |
newlib,x86_32: use int32_t (and not int) for message callbacks Newlib's definition of int32_t (which is used by flounder backend for int) created compiling problems. Note that in principle different CPUs may have a different representation of int.
|
#
9299dcef |
|
08-Jul-2011 |
Stefan Kästle <stefan.kaestle@inf.ethz.ch> |
Initial version of public stable barrelfish repository.
|