404 - page not found

The master branch of os-lectures does not contain the path lec13/p1-devinterface.html.