context_t act_init(context_t own_context, init_info_t* info, size_t init_base, size_t init_entry) {
KERNEL_TRACE("init", "activation init");
internel_if.message_send = kernel_seal(act_send_message_get_trampoline(), act_ref_type);
internel_if.message_reply = kernel_seal(act_send_return_get_trampoline(), act_sync_ref_type);
setup_syscall_interface(&internel_if);
kernel_next_act = 0;
// This is a dummy. Our first context has already been created
reg_frame_t frame;
bzero(&frame, sizeof(struct reg_frame));
// Register the kernel (exception) activation
act_t * kernel_act = &kernel_acts[0];
act_register(&frame, &kernel_queue.queue, "kernel", status_terminated, NULL, cheri_getbase(cheri_getpcc()));
/* The kernel context already exists and we set it here */
kernel_act->context = own_context;
// Create and register the init activation
KERNEL_TRACE("act", "Retroactively creating init activation");
/* Not a dummy here. We will subset our own c0/pcc for init. init is loaded directly after the kernel */
bzero(&frame, sizeof(struct reg_frame));
size_t length = cheri_getlen(cheri_getdefault()) - init_base;
frame.cf_c0 = cheri_setbounds(cheri_setoffset(cheri_getdefault(), init_base), length);
capability pcc = cheri_setbounds(cheri_setoffset(cheri_getpcc(), init_base), length);
KERNEL_TRACE("act", "assuming init has virtual entry point %lx", init_entry);
frame.cf_c12 = frame.cf_pcc = cheri_setoffset(pcc, init_entry);
/* provide config info to init. c3 is the conventional register */
frame.cf_c3 = info;
act_t * init_act = &kernel_acts[namespace_num_boot];
act_register_create(&frame, &init_queue.queue, "init", status_alive, NULL);
/* The boot activation should be the current activation */
sched_schedule(init_act);
return init_act->context;
}
void bootloader_main(void) {
/* Init hardware */
hw_init();
/* Initialize elf-loader environment */
init_elf_loader();
/* Load the nano kernel. Doing this will install exception vectors */
boot_printf("Boot: loading nano kernel ...\n");
nano_init_t * nano_init = (nano_init_t *)load_nano(); //We have to rederive this as an executable cap
nano_init = (nano_init_t*)cheri_setoffset(cheri_getpcc(),cheri_getoffset(nano_init));
/* TODO: we could have some boot exception vectors if we want exception handling in boot. */
/* These should be in ROM as a part of the boot image (i.e. make a couple more dedicated sections */
cp0_status_bev_set(0);
boot_printf("Boot: loading kernel ...\n");
size_t entry = load_kernel();
boot_printf("Boot: loading init ...\n");
boot_info_t *bi = load_init();
size_t invalid_length = bi->init_end;
capability phy_start = cheri_setbounds(cheri_setoffset(cheri_getdefault(), MIPS_KSEG0), invalid_length);
/* Do we actually need this? */
//boot_printf("Invalidating %p length %lx:\n", phy_start, invalid_length);
//caches_invalidate(phy_start, invalid_length);
register_t mem_size = bi->init_end - bi->nano_end;
/* Jumps to the nano kernel init. This will completely destroy boot and so we can never return here.
* All registers will be cleared apart from a specified few. mem_size of memory will be left unmanaged and the
* rest will be returned as a reservation. The third argument is an extra argument to the kernel */
boot_printf("Jumping to nano kernel...\n");
BOOT_PRINT_CAP(nano_init);
nano_init(mem_size, entry, bi->init_begin - bi->kernel_begin, bi->init_entry);
}
/*
* Allocate more memory to the indicated bucket.
*/
static void
morecore(int bucket)
{
char *buf;
union overhead *op;
size_t sz; /* size of desired block */
int amt; /* amount to allocate */
int nblks; /* how many blocks we get */
/*
* sbrk_size <= 0 only for big, FLUFFY, requests (about
* 2^30 bytes on a VAX, I think) or for a negative arg.
*/
sz = 1 << (bucket + 3);
#ifdef MALLOC_DEBUG
ASSERT(sz > 0);
#else
if (sz <= 0)
return;
#endif
if (sz < pagesz) {
amt = pagesz;
nblks = amt / sz;
} else {
amt = sz + pagesz;
nblks = 1;
}
if (amt > pagepool_end - pagepool_start)
if (__morepages(amt/pagesz) == 0)
return;
/*
* XXXRW: For now, depend on a global $c0 -- but shouldn't need to as
* we could be deriving from heap.
*/
buf = cheri_setoffset(cheri_getdefault(), pagepool_start);
buf = cheri_setbounds(buf, amt);
pagepool_start += amt;
/*
* Add new memory allocated to that on
* free list for this hash bucket.
*/
nextf[bucket] = op = cheri_setbounds(buf, sz);
while (--nblks > 0) {
op->ov_next = (union overhead *)cheri_setbounds(buf + sz, sz);
buf += sz;
op = op->ov_next;
}
}
/*
* Allocate a new cheri_fd object for an already-open file descriptor.
*/
int
cheri_fd_new(int fd, struct cheri_object *cop)
{
__capability void *codecap, *datacap;
struct cheri_fd *cfp;
cfp = calloc(1, sizeof(*cfp));
if (cfp == NULL) {
errno = ENOMEM;
return (-1);
}
CHERI_SYSTEM_OBJECT_INIT(cfp, cheri_fd_vtable);
cfp->cf_fd = fd;
/*
* Construct a sealed code capability for the class. This is just the
* ambient $pcc with the offset set to the entry address.
*
* XXXRW: For now, when invoked, we install $pcc into $c0, so this
* needs a full set of permissions rather than just LOAD/EXECUTE. In
* the future, we will want to preserve a copy of cheri_getdefault()
* in the struct cheri_fd to be reinstalled by the entry code.
*
* XXXRW: In the future, use cheri_codeptr() here?
*/
codecap = cheri_setoffset(cheri_getpcc(),
(register_t)CHERI_CLASS_ENTRY(cheri_fd));
cop->co_codecap = cheri_seal(codecap, cheri_fd_type);
/*
* Construct a sealed data capability for the class. This describes
* the 'struct cheri_fd' for the specific file descriptor. The $c0
* to reinstall later is the first field in the structure.
*
* XXXRW: Should we also do an explicit cheri_setoffset()?
*/
datacap = cheri_ptrperm(cfp, sizeof(*cfp), CHERI_PERM_GLOBAL |
CHERI_PERM_LOAD | CHERI_PERM_LOAD_CAP | CHERI_PERM_STORE |
CHERI_PERM_STORE_CAP);
cop->co_datacap = cheri_seal(datacap, cheri_fd_type);
return (0);
}