Is It Possible to Run a 64 Bit Executable?

The Pico host bootloader is the absolute minimum that we need to do to get us to run a 64 bit executable, right? That's correct. And in many respects, we load the kernel image itself as just a standard elf binary. There's kind of two places where we violate some of the assumptions that you could just normally make if you were just invoking like bin LS or something. But that's it. Otherwise, it's like you load this binary, you jump to its entry point, and then the kernel goes off and does its thing.