spawndomain Directory Reference

Directories

Files
file	arch.h
file	getopt.c
	Somewhat simple commandline argument parsing.
file	multiboot.c
file	spawn.c
	functionality to spawn domains
file	spawn.h
file	spawn_omp.c
	functionality to spawn domains
file	spawn_vspace.c
	Code for managing VSpace of a new domain when it is spawned.