|
| file | cap_delete.c |
| | Kernel capability deletion-related operations.
|
| |
| file | capabilities.c |
| | Kernel capability management implementation.
|
| |
| file | coreboot.c |
| | Registering for handler functions to manage cores.
|
| |
| file | dispatch.c |
| | Kernel management of dispatchers (implementation).
|
| |
| file | gdb_stub.c |
| | Architecture-independent parts of in-kernel GDB stub.
|
| |
| file | kcb.c |
| | Kernel control block declarations.
|
| |
| file | logging.c |
| | Logging kernel support code.
|
| |
| file | microbenchmarks.c |
| | Generic/base microbenchmark code.
|
| |
| file | monitor.c |
| | Arch-generic system calls implementation.
|
| |
| file | paging_generic.c |
| | Kernel memory management.
|
| |
| file | printf.c |
| | Implementations of printf and friends.
|
| |
| file | schedule_rbed.c |
| | Kernel scheduling policy: Rate-Based Earliest Deadline (RBED)
|
| |
| file | schedule_rr.c |
| | Kernel round-robin scheduling policy.
|
| |
| file | startup.c |
| | Architecture-independent bootstrap code.
|
| |
| file | stdlib.c |
| | Standard libc library functions.
|
| |
| file | string.c |
| | Implementations of standard libc string functions.
|
| |
| file | sys_debug.c |
| | Arch-generic debug system calls implementation.
|
| |
| file | syscall.c |
| | Arch-generic system calls implementation.
|
| |
| file | systime.c |
| | System time, constants and convertors.
|
| |
| file | timer.c |
| | Support of one-shot timers.
|
| |
| file | useraccess.c |
| | User space memory access functions.
|
| |
| file | wakeup.c |
| | DCB wakeup queue management.
|
| |
