kernel.c

#define kb 0x60
#define kbst 0x64

#define vdo 0xB8000
#define whOnBlck 0x0F

unsigned short crsr;
void MiCore(void);

void _start(void){
	MiCore();
}

void ptChr(char c, unsigned short pos){
	unsigned char *video = (unsigned char*)vdo;
	video[pos*2] = c;
	video[pos*2 + 1] = whOnBlck;
}

void nl() {
	crsr = (crsr / 80 + 1) * 80;
}

void prt(const char* str){
	while(*str){
		if(*str == '\n'){
			nl(); 
		} else{
			ptChr(*str, crsr++);
		}
		str++;
	}
}	

void clrScr(){
	unsigned char *video = (unsigned char*)vdo;
	for(int i = 0; i < 80 * 25; i++){
	video[i*2] = ' ';
	video[i*2 + 1] = whOnBlck;
	crsr = 0;
	}
}

static inline unsigned char inb(unsigned short port){
    unsigned char ret;
    asm volatile ("inb %1, %0"
        : "=a"(ret)
        : "Nd"(port));
    return ret;
}

void wtKyB(){
	while(!inb(kbst) & 1);
}
unsigned char rdKyB(){
	wtKyB();
	return inb(kb);
}

void MiCore(){
	asm volatile("cli");
	clrScr();
	prt("MiCore LOAD");
	while(1){
		asm volatile("nop");
	}
}