diff options
Diffstat (limited to 'src/threads/init.c')
| -rw-r--r-- | src/threads/init.c | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/src/threads/init.c b/src/threads/init.c index e4df408..6633d2c 100644 --- a/src/threads/init.c +++ b/src/threads/init.c @@ -48,15 +48,20 @@ static bool format_filesys; /* -q: Power off after kernel tasks complete? */ bool power_off_when_done = false; -/* -Q: Force power off by klaar@ida... */ + +/* Options by klaar@ida */ + +/* -Q: Force power off */ bool force_off_when_done = false; -/* -tcf: Simulate failure in thread_create klaar@ida... */ +/* -F: Set timer frequency */ +static uint16_t init_timer_freq = 1000; +/* -tcf: Simulate failure in thread_create */ int thread_create_limit = 0; /* infinite */ static bool prevent_reqursive_off = false; static void hard_power_off (void) NO_RETURN; - + static void ram_init (void); static void paging_init (void); @@ -105,7 +110,7 @@ main (void) /* Initialize interrupt handlers. */ intr_init (); - timer_init (); + timer_init (init_timer_freq); kbd_init (); input_init (); #ifdef USERPROG @@ -248,6 +253,8 @@ parse_options (char **argv) power_off_when_done = true; else if (!strcmp (name, "-Q")) // klaar@ida power_off_when_done = force_off_when_done = true; + else if (!strcmp (name, "-F")) // klaar@ida + init_timer_freq = atoi (value); #ifdef FILESYS else if (!strcmp (name, "-f")) format_filesys = true; |