This list is just a collection of thesis ideas that was already formulated. We always have more interesting ideas, which were not written down yet, on the topics operating systems, real-time systems, dependability, computer architecture, software variability, etc. So, if this list is empty, you find none of the presented theses ideas interesting, our you have this one brilliant idea you want to pursuit, just come around or write a mail.
On all lab computers you find under
/proj/templates/thesis a LaTeX template (including the required cover page) for your BA/MA thesis document. Just copy this template to start.