Simplification of symbolic_targets.mk, addition of platforms and boots to Hake.
[barrelfish] / platforms / Hakefile
2015-07-03 Timothy RoscoeSimplification of symbolic_targets.mk, addition of...