/**
 * HULK image header.
 */
module hulk.header;

/**
 * Header describing the HULK image.
 */
struct HulkHeader
{
    /**
     * Total size of memory to be mapped.
     *
     * The OS loader must ensure that virtual memory is mapped for this entire
     * size.
     * This value is really an integer, but is stored as a pointer because it
     * is provided by the linker and LDC does not like us to cast it.
     */
    void * total_size;

    /** Entry point. */
    void * entry;

    /** Stack size. */
    ulong stack_size;

    /** Virtual base address. */
    ulong virt_base;

    /** Stack top virtual address. */
    ulong virt_stack_top;

    /** Framebuffer virtual address. */
    ulong virt_fb_buffer;
}