Revert "Merge branch 'master' of https://github.com/pkubitsc/Computer_Systems_Initiative"

This reverts commit 9372cd2c5a07bdedac4a1b22044e8b923196461a, reversing
changes made to 1769b4bf90d98f7276b05cc56e036f87467d76c2.
Revert "Revert "Merge branch 'master' of https://github.com/pkubitsc/Computer_Systems_Initiative""

This reverts commit 605a219bcf099667bf47c44fe6587b80aa6fbfa7.