alignment issues kernel_bin

[maxraulea]

Hi,

I am trying to get bareflank running on arch linux (I am on the latest version), but the alignment of the kernel_bin binary is not correct. This may be due to the behaviour of the compiler and linker changing with newer versions, but I am not sure. The error occurs in the file: loader/src/x64/map_4k_page.c line 84, there it checks if the segments are aligned.

Is there a way to get the kernel_bin to be aligned correctly?