#include <stdint.h>
#include <stddef.h>
#include <tinf/tinf.h>

__attribute__((noreturn))
void entry(uint8_t *compressed_stage2, size_t stage2_size, uint8_t boot_drive, int pxe) {
    // The decompressor should decompress compressed_stage2 to address 0x8000.
    uint8_t *dest = (uint8_t *)0x8000;

    tinf_gzip_uncompress(dest, compressed_stage2, stage2_size);

    asm volatile (
        "mov esp, 0x7c00\n\t"
        "xor ebp, ebp\n\t"
        "push %1\n\t"
        "push %0\n\t"
        "push 0\n\t"
        "jmp 0x8000\n\t"
        :
        : "r" ((uint32_t)boot_drive), "r" (pxe)
        : "memory"
    );

    for (;;);
}