Use GMP, MPFR and MPC directly in gcc build. (XCC)
[akaros.git] / Documentation / testing.txt
2014-05-05 alfongjImplemented Kernel Post-boot testing.