HowTo: Debugging the WRK in a Virtual Machine

At HPI we use the WRK for our operating systems courses. An essential part in our exercises is to extend and debug the WRK, which is why we prepared some slides for our students on how to configure a kernel debug session. Unfortunately the slides are in German. As Google’s translation service quality is questionable in this regards, we briefly recap all necessary steps here.
Read more