Fixes pthread exit with -O2
[akaros.git] / Makeconfig
2011-11-03 Barret RhodenMakes userspace debuginfo configurable
2011-11-03 Kevin KluesAdded CONFIG flag to dedicate core to the monitor
2011-11-03 Kevin KluesFinally got KFS stuff sorted out on the new setup
2011-11-03 Kevin KluesCleaned up the way ifdefs are handled