Subversion Repositories HelenOS-historic

Rev

Rev 860 | Rev 1037 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 860 Rev 955
Line 52... Line 52...
52 
#include <synch/waitq.h>
 52 
#include <synch/waitq.h>
53 
#include <arch/arch.h>
 53 
#include <arch/arch.h>
54 
#include <arch.h>
 54 
#include <arch.h>
55 
#include <arch/faddr.h>
 55 
#include <arch/faddr.h>
56 
#include <typedefs.h>
 56 
#include <typedefs.h>
- 
 
 57 
#include <ipc/ipc.h>
57 
 
 58 
 
58 
#ifdef CONFIG_SMP
 59 
#ifdef CONFIG_SMP
59 
#include <arch/smp/apic.h>
 60 
#include <arch/smp/apic.h>
60 
#include <arch/smp/mps.h>
 61 
#include <arch/smp/mps.h>
61 
#endif /* CONFIG_SMP */
 62 
#endif /* CONFIG_SMP */
Line 188... Line 189...
188 
    task_init();
 189 
    task_init();
189 
    thread_init();
 190 
    thread_init();
190 
   
 191 
   
191 
    if (config.init_size > 0)
 192 
    if (config.init_size > 0)
192 
        printf("config.init_addr=%P, config.init_size=%d\n", config.init_addr, config.init_size);
 193 
        printf("config.init_addr=%P, config.init_size=%d\n", config.init_addr, config.init_size);
193 
 
 194 
   
- 
 
 195 
    ipc_init();
194 
    /*
 196 
    /*
195 
     * Create kernel task.
 197 
     * Create kernel task.
196 
     */
 198 
     */
197 
    k = task_create(AS_KERNEL);
 199 
    k = task_create(AS_KERNEL);
198 
    if (!k)
 200 
    if (!k)