@func{main}, which never returns.
There's one more trick: the Pintos kernel command line
@func{main}, which never returns.
There's one more trick: the Pintos kernel command line
modifies a copy of the boot loader on disk each time it runs the kernel,
putting
in whatever command line arguments the user supplies to the kernel,
modifies a copy of the boot loader on disk each time it runs the kernel,
putting
in whatever command line arguments the user supplies to the kernel,
important to other Pintos subsystems. Then we initialize the console
and print a startup message to the console.
important to other Pintos subsystems. Then we initialize the console
and print a startup message to the console.
system. @func{palloc_init} sets up the kernel page allocator, which
doles out memory one or more pages at a time (@pxref{Page Allocator}).
@func{malloc_init} sets
system. @func{palloc_init} sets up the kernel page allocator, which
doles out memory one or more pages at a time (@pxref{Page Allocator}).
@func{malloc_init} sets