5. The GPS KernelΒΆ