Windows or GNU/Linux

All computer at DSV can boot either Microsoft Windows or Debian GNU/Linux. At boot time the user can select which operating system should load. Here is how to reboot so that you can select the desired operating system:

If the computer is running Microsoft Windows (and you want to switch to GNU/Linux):

Press Alt-Ctrl-Delete, then click on "Shutdown" and finally select "Restart".

If the computer is running GNU/Linux (and you want to switch to Microsoft Windows):

From the log in window click on "System" and then select "Reboot". Confirm by pressing "Yes".

When the computer is rebooting:

A menu will appear where you can select to boot either GNU/Linux or Microsoft Windows.