| #
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>
|
| #
a8c4d257 |
|
22-Feb-2017 |
Adam Turowski <adam.turowski@inf.ethz.ch> |
flounder: making const pointers in receiving handlers, using CONST_CAST as a temporary solution in few places but finally it should be removed
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
|
| #
85aab272 |
|
21-Dec-2016 |
Adam Turowski <adam.turowski@inf.ethz.ch> |
idctest: increasing a waiting time
Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>
|
| #
8fd84377 |
|
31-Aug-2016 |
Lukas Humbel <lukas.humbel@inf.ethz.ch> |
Revert changes to test.if to make everything compile again
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
|
| #
fd231fc8 |
|
31-Aug-2016 |
Lukas Humbel <lukas.humbel@inf.ethz.ch> |
Added idc test to harness
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>
|
| #
cba58299 |
|
05-Feb-2012 |
Kornilios Kourtis <kkourt@inf.ethz.ch> |
newlib,x86_32: use PRI{u,x}32, PRI{u,x}PTR, etc in format strings
Again this is needed because newlib defines uint32_t as unsigned long.
(In retrospect, I should just changed newlib's uint32_t to unsigned int)
Checkpoint:
compiles and boots qemu for x86-{32,64}-{newlib,freec}
Also, a couple of tests on real hardware (x86_64 only) work
|
| #
522b8c0f |
|
28-Dec-2011 |
Zeus Gómez Marmolejo <zeus.gomez@bsc.es> |
Boots correctly for both freec and newlib
|
| #
9299dcef |
|
08-Jul-2011 |
Stefan Kästle <stefan.kaestle@inf.ethz.ch> |
Initial version of public stable barrelfish repository.
|