(a) the operating system kernel