Subversion Repositories HelenOS

Rev

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

Rev 2263 Rev 2264
Line 40... Line 40...
40 
#include <ddi/device.h>
 40 
#include <ddi/device.h>
41 
#include <genarch/fb/fb.h>
 41 
#include <genarch/fb/fb.h>
42 
#include <genarch/fb/visuals.h>
 42 
#include <genarch/fb/visuals.h>
43 
#include <ddi/irq.h>
 43 
#include <ddi/irq.h>
44 
 
 44 
 
45 
#include "aux_print/printf.h"
 45 
#include <arch/debug_print/print.h>
46 
#include <print.h>
 46 
#include <print.h>
47 
#include <config.h>
 47 
#include <config.h>
48 
#include <interrupt.h>
 48 
#include <interrupt.h>
49 
#include <arch/drivers/init.h>
 49 
#include <arch/drivers/init.h>
50 
 
 50 
 
51 
bootinfo_t bootinfo;
 51 
bootinfo_t bootinfo;
52 
 
 52 
 
53 
void arch_pre_main(void)
 53 
void arch_pre_main(void)
54 
{
 54 
{
55 
    aux_printf("arch_pre_main\n");
 55 
    dprintf("arch_pre_main\n");
56 
    int i;
 56 
    int i;
57 
 
 57 
 
58 
    init.cnt = bootinfo.cnt;
 58 
    init.cnt = bootinfo.cnt;
59 
 
 59 
 
60 
    for (i = 0; i < bootinfo.cnt; ++i) {
 60 
    for (i = 0; i < bootinfo.cnt; ++i) {
Line 66... Line 66...
66 
    setup_exception_stacks();
 66 
    setup_exception_stacks();
67 
}
 67 
}
68 
 
 68 
 
69 
void arch_pre_mm_init(void)
 69 
void arch_pre_mm_init(void)
70 
{
 70 
{
71 
    aux_printf("arch_pre_mm_init\n");
 71 
    dprintf("arch_pre_mm_init\n");
72 
 
 72 
 
73 
    /* It is not assumed by default */
 73 
    /* It is not assumed by default */
74 
    interrupts_disable();
 74 
    interrupts_disable();
75 
   
 75 
   
76 
    /* Initialize dispatch table */
 76 
    /* Initialize dispatch table */
77 
    exception_init();
 77 
    exception_init();
78 
}
 78 
}
79 
 
 79 
 
80 
void arch_post_mm_init(void)
 80 
void arch_post_mm_init(void)
81 
{
 81 
{
82 
    aux_printf("arch_post_mm_init start()\n");
 82 
    dprintf("arch_post_mm_init start()\n");
83 
    drivers_init();
 83 
    drivers_init();
84 
    interrupt_init();
 84 
    interrupt_init();
85 
   
 85 
   
86 
    console_init(device_assign_devno());
 86 
    console_init(device_assign_devno());
87 
    //fb_init(0x12000000, 640, 480, 1920, VISUAL_RGB_8_8_8);
 87 
    //fb_init(0x12000000, 640, 480, 1920, VISUAL_RGB_8_8_8);
88 
   
 88 
   
89 
    interrupts_enable();
 89 
    interrupts_enable();
90 
//  while(1);
 90 
    while(1);
91 
    aux_printf("machine:\n", MACHINE );
 - 
 
92 
    aux_printf("arch_post_mm_init end()\n");
 91 
    dprintf("arch_post_mm_init end()\n");
93 
}
 92 
}
94 
 
 93 
 
95 
void arch_post_cpu_init(void)
 94 
void arch_post_cpu_init(void)
96 
{
 95 
{
97 
    /* TODO */
 96 
    /* TODO */