I've added faraday-0.8.0 to the tree, but I had to drop x86 keywording as there is no ~x86 to system_timer. Please re-keyword, thanks. Diego
done.