Linux kernel source for managing hardware and system resources with documentation targeting developers and users.