Justin C. Miller a8024d3dd3 [kernel] Rename kernel entrypoint ...

The kernel entrypoint being named _start conflicts with userspace
program entrypoints and makes debugging more difficult. Rename it to
_kernel_start.

2021-01-18 13:48:11 -08:00

..

config.mk

Splitting out UEFI bootloader code from kernel

2017-07-26 01:41:46 -07:00

details.c

Bootloader loading kernel, not yet jumping to it

2018-03-18 18:07:19 -07:00

kernel.ld

[kernel] Rename kernel entrypoint

2021-01-18 13:48:11 -08:00