Here is a list of all documented files with brief descriptions:

[detail level 123456]

▼ include
▼ kernel
▼ arch
core.h
io.h
kernel.h
kshell.h
logging.h
proc.h
sys.h
time.h
▼ config
inish.h
▼ core
▼ arm
atag.h
elf.h
isr.h
mmio.h
pci.h
port.h
▼ drivers
bcm2835_timer.h
▼ fs
dev.h
proc.h
sock.h
tar.h
vfs.h
▼ kshell
kshell.h
▼ mmu
bitmap.h
▼ net
arp.h
dhcp.h
dns.h
ethernet.h
icmpv4.h
ipv4.h
net.h	This module defines network interfaces and drivers
ntp.h
udp.h
▼ proc
descriptor.h
spinlock.h
task.h
▼ sys
k_syscall.h
▼ time
clock.h
fake_clock.h
timer.h
initcall.h
keymap.h
kmain.h
logging.h	This is the general kernel logging module
osinfo.h
panic.h
▼ libc
▼ arpa
inet.h
▼ arvern
log.h
utils.h
▼ sys
reboot.h
socket.h
stat.h
syscall.h
time.h
types.h
assert.h
ctype.h
errno.h
fcntl.h
inttypes.h
stdio.h
stdlib.h
string.h
time.h
ubsan.h
unistd.h
▼ src
▼ kernel
▼ arch
▼ aarch32
► mmu
alloc.h
kmain.h
▼ aarch64
kmain.h
▼ x86_64
► console
console.h
► core
idt.h
interrupt.h
multiboot.h
register.h
► drivers
cmos.h
keyboard.h
pit.h
rtl8139.h
serial.h
vga_text.h
► mmu
alloc.h
frame.h
paging.h
kmain.h