#include "stack.h"
#include "mm.h"
#include "hos_defines.h"

void stack_bootstrap()
{
    /*
     * running from our temporary stack while segmentation is enabled,
     * set up the "permanent" stack for use while paging
     */
    u32_t first_stack_page_base = mm_early_page_alloc();
    mm_early_map(KERNEL_STACK_TOP - PAGE_SIZE, first_stack_page_base, 0, 1);
}