#
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>
|
#
e2ee9c88 |
|
16-Dec-2016 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
libbarrelfish: memobj_anon: fix vregion slab refilling Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
#
44c71785 |
|
15-Dec-2016 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
libbarrelfish: memobj_anon: change refilling flag to be per memobj Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
#
4745d9d1 |
|
15-Dec-2016 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
libbarrelfish: memobj_anon: fill: refill slab allocator when one slab left Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
#
9364103f |
|
15-Dec-2016 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
libbarrelfish: make cap deletion in memobj_destroy_anon() optional Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
#
caf4096d |
|
14-Dec-2016 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
libbarrelfish: memobj_anon: return error if frame_identify fails Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
#
22195db9 |
|
25-Jul-2016 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
Create wrapper for invoke_frame_identify This allows us to call frame_identify() on capabilities that are not invokable. Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
#
17948f60 |
|
22-Jul-2016 |
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>
|
#
0a849360 |
|
18-Nov-2015 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
T187: Implement modify_flags() on mapping cap Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
#
fb25ec7d |
|
13-Mar-2015 |
Moritz Hoffmann <moritzho@inf.ethz.ch> |
shortcut in protect for single page operations Signed-off-by: Moritz Hoffmann <moritzho@inf.ethz.ch>
|
#
4f56390f |
|
11-Mar-2015 |
Moritz Hoffmann <moritzho@inf.ethz.ch> |
memobj_anon, protect: use vregion_base and _off correctly Signed-off-by: Moritz Hoffmann <moritzho@inf.ethz.ch>
|
#
e79ae9d2 |
|
11-Mar-2015 |
Moritz Hoffmann <moritzho@inf.ethz.ch> |
Fix implementation of memobj_anon protect. Traverse the linked list of frames and call protect on those frames that overlap with the requested range. Signed-off-by: Moritz Hoffmann <moritzho@inf.ethz.ch>
|
#
bc089f28 |
|
14-Jul-2014 |
Simon Gerber <simon.gerber@hp.com> |
x86_64: cleaned up corner cases in pmap code. Signed-off-by: Simon Gerber <simon.gerber@hp.com>
|
#
3a774543 |
|
12-Jan-2015 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
libbarrelfish: memobj: add optional frame offset to anonymous memobjs.
|
#
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.
|
#
ab493330 |
|
22-Nov-2012 |
Simon Gerber <simugerber@student.ethz.ch> |
Implemented memobj_destroy_anon().
|
#
96df4814 |
|
22-Nov-2012 |
Simon Gerber <simugerber@student.ethz.ch> |
Implemented unmap with checks. Fixed unmap_region to unmap each frame individually.
|
#
ad826eef |
|
29-May-2012 |
Samuel Hitz <samuel.hitz@gmail.com> |
removed #inluce <stdio.h>, since no debug printf's anymore in these files
|
#
e6b486aa |
|
22-May-2012 |
Samuel Hitz <samuel.hitz@gmail.com> |
kernel and userspace now working, removed some debug printfs, general code cleanup
|
#
9dbbc190 |
|
11-May-2012 |
Samuel Hitz <hitzs@student.ethz.ch> |
- kernel ready - added 3 new devices for development board - temporary added debug printfs
|
#
70c30847 |
|
23-Jan-2012 |
Andrew Baumann <andrew.baumann@microsoft.com> |
remove support for Beehive see the mailing list discussion at the end of December 2011 for motivation
|
#
9299dcef |
|
08-Jul-2011 |
Stefan Kästle <stefan.kaestle@inf.ethz.ch> |
Initial version of public stable barrelfish repository.
|