| #
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>
|
| #
9a7d2f5b |
|
11-May-2018 |
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>
|
| #
df7a10ce |
|
11-May-2018 |
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>
|
| #
e56f514a |
|
25-Mar-2014 |
Simon Gerber <simon.gerber@inf.ethz.ch> |
Make x86_32 compile; some of the monitor invocations are disabled right now.
|
| #
57f6042b |
|
08-Feb-2013 |
Zaheer Chothia <zchothia@student.ethz.ch> |
headers: remove C99 designated initializers; not supported by C++.
Only looked at header files in //include. Matches were found with:
$ ack --hh '(?<!\w)\.\w+\s*\='
|
| #
9299dcef |
|
08-Jul-2011 |
Stefan Kästle <stefan.kaestle@inf.ethz.ch> |
Initial version of public stable barrelfish repository.
|