kernel/src/cpu/cpu.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

#include "cpu.h"

#include "print.h"

extern int sse_init (void);
extern int fpu_init (void);

void init_registers (void) {
    if (!sse_init()) {
        debugk("Loaded SIMD");
    } else {
        errork("SIMD not supported");
    }

    if (!fpu_init()) {
        debugk("Loaded FPU");
    } else {
        errork("FPU not supported");
    }
}