#
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>
|
#
b62040d2 |
|
08-Dec-2017 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
T384: x86_64: change shadow page tables to have dedicated cnodes for mapping caps Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
|
#
37a8558c |
|
26-Nov-2014 |
Reto Achermann <reto.achermann@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.
|
#
1f80c81c |
|
30-Apr-2014 |
Reto Achermann <acreto@student.ethz.ch> |
Reverted and applied Simon's patch to solve the supercn problem.
|
#
d13c7d2f |
|
30-Apr-2014 |
Reto Achermann <acreto@student.ethz.ch> |
added entries to gitignore
|
#
d45a3c43 |
|
29-Apr-2014 |
Reto Achermann <acreto@student.ethz.ch> |
Addition of a second supercn. It turned out that running Barrelfish on machines with lots of RAM will results in a error during booting that the supercn has no more space left. As soon as supercn0 has no space left, the allocator will switch to the second supercn1 to store the capabilities. Also memserver will get both endpoints and switches automatically to the next supercn while building up the memory allocator. The maximum size bits are extended to 40. The offsets are adapted to support 1024GB physical memory. The implementation has been tested on qemu prior commit.
|
#
59ca3cb8 |
|
06-May-2014 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
kernel: enable mapping of up to 1TB of physical memory.
|
#
9299dcef |
|
08-Jul-2011 |
Stefan Kästle <stefan.kaestle@inf.ethz.ch> |
Initial version of public stable barrelfish repository.
|