In order to fix an important security vulnerability of the Linux kernel, most of the departmental services have been restarted this morning.This has now been completed.