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 /util/atoi.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 'util/atoi.h')
0 files changed, 0 insertions, 0 deletions