Files
Upsilon/ion/platform/device/init.c
2015-09-10 10:08:11 +02:00

21 lines
415 B
C

#include <ion.h>
#include <assert.h>
#include "display.h"
#include "init_kbd.h"
extern char _framebuffer_end;
void ion_init() {
#if DEBUG
char * computed_framebuffer_end = ION_FRAMEBUFFER_ADDRESS + (ION_FRAMEBUFFER_WIDTH*ION_FRAMEBUFFER_HEIGHT*ION_FRAMEBUFFER_BITS_PER_PIXEL)/8;
assert(&_framebuffer_end == computed_framebuffer_end);
#endif
init_kbd();
init_display();
}
void ion_sleep() {
// FIXME
}