#
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>
|
#
161c1dff |
|
10-Nov-2016 |
Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch> |
kernel: Use common app_alloc_phys and bsp_alloc_phys on all archs Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
|
#
08e2da96 |
|
06-Jul-2016 |
David Cock <david.cock@inf.ethz.ch> |
ARMv7: Rationalised coreboot structures. Put the Multiboot header in the coredata struct, and allocate both in and the globals (which now contains only the printf spinlock) in the BSP kernel's BSS. We no longer rely on magic addresses. Doing so exposed a latent bug, where code using the various alloc_phys() functions were assuming that the output would be page-aligned, when that wasn't guaranteed. Added alloc_phys_aligned to all relevant prototypes. Signed-off-by: David Cock <david.cock@inf.ethz.ch>
|
#
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.
|
#
9299dcef |
|
08-Jul-2011 |
Stefan Kästle <stefan.kaestle@inf.ethz.ch> |
Initial version of public stable barrelfish repository.
|