What should me "KERNEL_VMA" be?

[CATboardBETA]

Hello! I'm following this article: https://wiki.osdev.org/Creating_a_64-bit_kernel on MacOS. I haven't a clue what the Kernal virtual memory address should be.... any ideas?

[Octocontrabass]

It can be whatever you want, as long as it's a valid virtual address.

I'd use something like 0xFFFFFFFF80000000 to take advantage of "-mcmodel=kernel".