RWTH-OS/eduOS — pull request #3 by stv0g (2014-12-19 23:58:15+00:00)
Title: fixes wrong return value of page_map()

fixes #2