Justin C. Miller b3861decc3 [kernel] Pass the fb phys addr to userspace ...

Instead of always mapping the framebuffer at an arbitrary location, and
so reporting that to userspace, send the physical address so drivers can
call system_map_mmio().

2021-02-04 19:56:41 -08:00

..

j6

[kernel] Pass the fb phys addr to userspace

2021-02-04 19:56:41 -08:00

elf.h

Moving to a ninja-based build system

2019-02-02 02:59:45 -08:00

kernel_args.h

[boot][kernel] Replace frame allocator with bitmap-based one

2021-01-22 00:16:01 -08:00

kernel_memory.h

[kernel] Use IST for kernel stacks for NMI, #DF, #PF

2021-02-02 18:36:11 -08:00