Transfer DFS to Archimedes