void pre_init(void) { int error; set_putchar(putchar_putchar); /* Camkes adds nothing to our address space, so this array is empty */ void *existing_frames[] = { NULL }; camkes_make_simple(&camkes_simple); camkes_simple.IOPort_cap = simple_ioport_wrapper; camkes_simple.frame_cap = simple_frame_cap_wrapper; /* Initialize allocator */ allocman = bootstrap_use_current_1level( simple_get_cnode(&camkes_simple), simple_get_cnode_size_bits(&camkes_simple), simple_last_valid_cap(&camkes_simple) + 1, BIT(simple_get_cnode_size_bits(&camkes_simple)), sizeof(allocator_mempool), allocator_mempool ); assert(allocman); error = allocman_add_simple_untypeds(allocman, &camkes_simple); make_proxy_vka(&vka, allocman); /* Initialize the vspace */ error = sel4utils_bootstrap_vspace(&vspace, &vspace_data, simple_get_init_cap(&camkes_simple, seL4_CapInitThreadPD), &vka, NULL, NULL, existing_frames); assert(!error); /* Create temporary mapping reservation, and map in a frame to * create any book keeping */ reservation_t reservation; reservation.res = allocman_mspace_alloc(allocman, sizeof(sel4utils_res_t), &error); assert(reservation.res); void *reservation_vaddr; error = sel4utils_reserve_range_no_alloc(&vspace, reservation.res, PAGE_SIZE_4K, seL4_AllRights, 1, &reservation_vaddr); assert(!error); error = vspace_new_pages_at_vaddr(&vspace, reservation_vaddr, 1, seL4_PageBits, reservation); assert(!error); vspace_unmap_pages(&vspace, reservation_vaddr, 1, seL4_PageBits, VSPACE_FREE); proxy_give_vspace(&vka, &vspace, reservation_vaddr, reservation); sel4utils_reserve_range_no_alloc(&vspace, &muslc_brk_reservation_memory, BRK_VIRTUAL_SIZE, seL4_AllRights, 1, &muslc_brk_reservation_start); muslc_this_vspace = &vspace; muslc_brk_reservation = (reservation_t){.res = &muslc_brk_reservation_memory}; }
void reset_resources(void) { simple_t simple; camkes_make_simple(&simple); int i; seL4_CPtr root = simple_get_cnode(&simple); int error; /* revoke any of our initial untyped resources */ for (i = 0; i < simple_get_untyped_count(&simple); i++) { uint32_t size_bits; uint32_t paddr; seL4_CPtr ut = simple_get_nth_untyped(&simple, i, &size_bits, &paddr); error = seL4_CNode_Revoke(root, ut, 32); assert(error == seL4_NoError); } /* delete anything from any slots that should be empty */ for (i = simple_last_valid_cap(&simple) + 1; i < BIT(simple_get_cnode_size_bits(&simple)); i++) { error = seL4_CNode_Delete(root, i, 32); } /* save some pieces of the bss that we actually don't want to zero */ char save_sysinfo[4]; char save_libc[34]; char save_morecore_area[4]; char save_morecore_size[4]; memcpy(save_libc, __libc, 34); memcpy(save_sysinfo, __sysinfo, 4); memcpy(save_morecore_area, morecore_area, 4); memcpy(save_morecore_size, morecore_size, 4); /* zero the bss */ memset(__bss_start, 0, (uintptr_t)__bss_end - (uintptr_t)__bss_start); /* restore these pieces */ memcpy(__libc, save_libc, 34); memcpy(__sysinfo, save_sysinfo, 4); memcpy(morecore_area, save_morecore_area, 4); memcpy(morecore_size, save_morecore_size, 4); mutex_reinitializable_vm_lock_init(); }
static int vmm_init(void) { vka_object_t fault_ep_obj; vka_t* vka; simple_t* simple; vspace_t* vspace; int err; vka = &_vka; vspace = &_vspace; simple = &_simple; fault_ep_obj.cptr = 0; /* Camkes adds nothing to our address space, so this array is empty */ void *existing_frames[] = { NULL }; camkes_make_simple(simple); start_extra_frame_caps = simple_last_valid_cap(simple) + 1; /* Initialize allocator */ allocman = bootstrap_use_current_1level( simple_get_cnode(simple), simple_get_cnode_size_bits(simple), simple_last_valid_cap(simple) + 1 + num_extra_frame_caps, BIT(simple_get_cnode_size_bits(simple)), sizeof(allocator_mempool), allocator_mempool ); assert(allocman); err = allocman_add_simple_untypeds(allocman, simple); assert(!err); allocman_make_vka(vka, allocman); /* Initialize the vspace */ err = sel4utils_bootstrap_vspace(vspace, &_alloc_data, simple_get_init_cap(simple, seL4_CapInitThreadPD), vka, NULL, NULL, existing_frames); assert(!err); /* Initialise device support */ err = sel4platsupport_new_io_mapper(*simple, *vspace, *vka, &_io_ops.io_mapper); assert(!err); /* Initialise MUX subsystem */ err = mux_sys_init(&_io_ops, &_io_ops.mux_sys); assert(!err); /* Initialise DMA */ err = dma_dmaman_init(&_dma_morecore, NULL, &_io_ops.dma_manager); assert(!err); /* Allocate an endpoint for listening to events */ err = vka_alloc_endpoint(vka, &fault_ep_obj); assert(!err); _fault_endpoint = fault_ep_obj.cptr; /* Create an IRQ server */ err = irq_server_new(vspace, vka, simple_get_cnode(simple), IRQSERVER_PRIO, simple, fault_ep_obj.cptr, IRQ_MESSAGE_LABEL, 256, &_irq_server); assert(!err); return 0; }