void kmain(void)
{
init_bss();
init_ro();
setup_kernel_memory();
setup_pages();
setup_ints();
setup_tss();
setup_paging();
setup_faults();
setup_fs();
setup_syscalls();
init_devs();
char vendor[12];
if (has_cpuid()) {
cpuid_string(0, vendor);
dprintf("CPU Vendor ID: %s\n");
}
fexec("/prgm/start", 0, NULL, NULL);
start_scheduler();
asm volatile ("sti");
asm volatile ("hlt");
/* We should never reach this */
assert(0);
}
int main(int argc, char *argv[])
{
int npages;
char *host, *port;
double rectime;
if (argc < 4) {
fprintf(stderr, "%s <host> <port> <npages>\n", argv[0]);
return -1;
}
host = argv[1];
port = argv[2];
npages = atoi(argv[3]);
setup_pages(host, port, npages);
rectime = recover_pages(host, port, npages);
printf("%f\n", rectime);
return 0;
}
/**
* Initialize Protected Mode
*/
void main32(){
// Page map some memory (identity map)
setup_pages(INIT_MEM);
}
