Ignore:
Timestamp:
Jul 26, 2017, 1:24:51 PM (7 years ago)
Author:
max@…
Message:

update

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/hal/x86_64/core/hal_init.c

    r274 r276  
    405405        start_secondary_cpus();
    406406
     407        kernel_init(&btinfo);
     408
     409        x86_printf("[+] kernel_init called\n");
     410
    407411        reg_t dummy;
    408412        hal_enable_irq(&dummy);
    409413
    410414        while (1);
    411 
    412         kernel_init(&btinfo);
    413 
    414         x86_printf("[+] kernel_init called\n");
    415 
    416415
    417416/*
Note: See TracChangeset for help on using the changeset viewer.