17 lines
490 B
C
17 lines
490 B
C
#include <stdint.h>
|
|
#include <stddef.h>
|
|
#include <gzip/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);
|
|
|
|
__attribute__((noreturn))
|
|
void (*stage2)(uint8_t boot_drive, int pxe) = (void *)dest;
|
|
|
|
stage2(boot_drive, pxe);
|
|
}
|