More progress in linux.txt