| #
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>
|
| #
dd150fe4 |
|
05-May-2017 |
Reto Achermann <reto.achermann@inf.ethz.ch> |
removing references to old lib machinemodel
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
|
| #
57edebc4 |
|
16-Nov-2015 |
Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch> |
skb/datagatherer: move error code into own group
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
|
| #
048ce68b |
|
13-Nov-2015 |
Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch> |
skb/datagatherer: Use cpuid schema to populate SKB
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
|
| #
f4beaa1d |
|
13-Nov-2015 |
Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch> |
skb/datagatherer: use errval_t as return value for gather_cpuid_data.
Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
|
| #
d1a95fdc |
|
10-Jun-2015 |
Reto Achermann <reto.achermann@inf.ethz.ch> |
[T115] making SKB CPU facts consistent beginning with core_id
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
|
| #
25c8dde7 |
|
10-Jun-2015 |
Reto Achermann <reto.achermann@inf.ethz.ch> |
[T115] make data gatherer use of libcpuid
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
|
| #
dfddb708 |
|
26-Nov-2014 |
Timothy Roscoe <troscoe@inf.ethz.ch> |
Ensure all Mackerel files are included explicitly from dev/
|
| #
16937d0b |
|
12-Mar-2014 |
Gerd Zellweger <mail@gerdzellweger.com> |
Make everything compile for 32bit.
Fixes mostly printf specifiers all over the source tree.
|
| #
d88dd1f0 |
|
12-Mar-2014 |
Gerd Zellweger <mail@gerdzellweger.com> |
Make everything compile for 32bit.
Fixes mostly printf specifiers all over the source tree.
|
| #
9299dcef |
|
08-Jul-2011 |
Stefan Kästle <stefan.kaestle@inf.ethz.ch> |
Initial version of public stable barrelfish repository.
|