Max Wash 6c2ca888ee x86_64: remove kernel image post-build ELF32 patch ...

this patch must now be done by the wider OS build system, to avoid
interference with any bootloaders that don't support this kind of
patching (e.g GRUB i386-pc)

2026-02-21 23:18:22 +00:00

..

user

kernel: separate headers into kernel and user headers

2026-02-19 18:54:48 +00:00

x86_64

x86_64: remove kernel image post-build ELF32 patch

2026-02-21 23:18:22 +00:00