diff options
| author | Richard Braun <rbraun@sceen.net> | 2012-12-05 12:05:36 +0000 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2012-12-05 12:05:36 +0000 |
| commit | 3ff73e57ae6b7aaa3ef0e5549821ea359b96f90c (patch) | |
| tree | 8ac936a9356a2724cca696d113a099c938c893aa /kern/sched.h | |
| parent | 4133164b09e3c75bd5d6b72ef4661ca92ffd387b (diff) | |
Fix kernel task creation time
The mapable_time_init function is called before machine_init, but the
latter sets the system boot time. Fix their calling order.
* kern/startup.c (setup_main): Call machine_init before mapable_time_init.
Diffstat (limited to 'kern/sched.h')
0 files changed, 0 insertions, 0 deletions