SECTIONS
{
    . = 0xFFFF800000000000;
    _hulk_mem_start = .;

    .hulk_header :
    {
        *(.hulk_header)
    }

    . = ALIGN(4K);
    _hulk_text_start = .;

    .text :
    {
        *(.text)
    }

    . = ALIGN(4K);
    _hulk_text_end = .;

    .rodata :
    {
        *(.rodata)
    }

    . = ALIGN(4K);

    .data :
    {
        *(.data)
    }

    . = ALIGN(4K);
    _hulk_bss_start = .;

    .bss :
    {
        *(COMMON)
        *(.bss)
    }

    . = ALIGN(4K);
    _hulk_bss_size = . - _hulk_bss_start;
    _hulk_mem_end = .;
    _hulk_total_size = _hulk_mem_end - _hulk_mem_start;
}