/*
|
/*
|
* main.c -- start the ball rolling
|
* main.c -- start the ball rolling
|
*/
|
*/
|
|
|
|
|
#include "stdarg.h"
|
#include "stdarg.h"
|
#include "start.h"
|
#include "start.h"
|
|
|
|
|
/**************************************************************/
|
/**************************************************************/
|
|
|
|
|
unsigned char taskCode[] = {
|
unsigned char taskCode[] = {
|
#include "task.dump"
|
#include "task.dump"
|
};
|
};
|
|
|
|
|
/**************************************************************/
|
/**************************************************************/
|
|
|
|
|
void putchar(char c) {
|
void putchar(char c) {
|
unsigned int *base;
|
unsigned int *base;
|
|
|
if (c == '\n') {
|
if (c == '\n') {
|
putchar('\r');
|
putchar('\r');
|
}
|
}
|
base = (unsigned int *) 0xF0300000;
|
base = (unsigned int *) 0xF0300000;
|
while ((*(base + 2) & 1) == 0) ;
|
while ((*(base + 2) & 1) == 0) ;
|
*(base + 3) = c;
|
*(base + 3) = c;
|
}
|
}
|
|
|
|
|
void puts(char *s) {
|
void puts(char *s) {
|
char c;
|
char c;
|
|
|
while ((c = *s++) != '\0') {
|
while ((c = *s++) != '\0') {
|
putchar(c);
|
putchar(c);
|
}
|
}
|
}
|
}
|
|
|
|
|
void printn(int n) {
|
void printn(int n) {
|
int a;
|
int a;
|
|
|
if (n < 0) {
|
if (n < 0) {
|
putchar('-');
|
putchar('-');
|
n = -n;
|
n = -n;
|
}
|
}
|
a = n / 10;
|
a = n / 10;
|
if (a != 0) {
|
if (a != 0) {
|
printn(a);
|
printn(a);
|
}
|
}
|
putchar(n % 10 + '0');
|
putchar(n % 10 + '0');
|
}
|
}
|
|
|
|
|
void printu(unsigned int n, unsigned int b) {
|
void printu(unsigned int n, unsigned int b) {
|
unsigned int a;
|
unsigned int a;
|
|
|
a = n / b;
|
a = n / b;
|
if (a != 0) {
|
if (a != 0) {
|
printu(a, b);
|
printu(a, b);
|
}
|
}
|
putchar("0123456789ABCDEF"[n % b]);
|
putchar("0123456789ABCDEF"[n % b]);
|
}
|
}
|
|
|
|
|
void printf(char *fmt, ...) {
|
void printf(char *fmt, ...) {
|
va_list ap;
|
va_list ap;
|
char c;
|
char c;
|
int n;
|
int n;
|
unsigned int u;
|
unsigned int u;
|
char *s;
|
char *s;
|
|
|
va_start(ap, fmt);
|
va_start(ap, fmt);
|
while (1) {
|
while (1) {
|
while ((c = *fmt++) != '%') {
|
while ((c = *fmt++) != '%') {
|
if (c == '\0') {
|
if (c == '\0') {
|
va_end(ap);
|
va_end(ap);
|
return;
|
return;
|
}
|
}
|
putchar(c);
|
putchar(c);
|
}
|
}
|
c = *fmt++;
|
c = *fmt++;
|
if (c == 'd') {
|
if (c == 'd') {
|
n = va_arg(ap, int);
|
n = va_arg(ap, int);
|
printn(n);
|
printn(n);
|
} else
|
} else
|
if (c == 'u' || c == 'o' || c == 'x') {
|
if (c == 'u' || c == 'o' || c == 'x') {
|
u = va_arg(ap, int);
|
u = va_arg(ap, int);
|
printu(u, c == 'o' ? 8 : (c == 'x' ? 16 : 10));
|
printu(u, c == 'o' ? 8 : (c == 'x' ? 16 : 10));
|
} else
|
} else
|
if (c == 's') {
|
if (c == 's') {
|
s = va_arg(ap, char *);
|
s = va_arg(ap, char *);
|
puts(s);
|
puts(s);
|
} else {
|
} else {
|
putchar(c);
|
putchar(c);
|
}
|
}
|
}
|
}
|
}
|
}
|
|
|
|
|
/**************************************************************/
|
/**************************************************************/
|
|
|
|
|
static char *exceptionCause[32] = {
|
static char *exceptionCause[32] = {
|
/* 00 */ "terminal 0 transmitter interrupt",
|
/* 00 */ "terminal 0 transmitter interrupt",
|
/* 01 */ "terminal 0 receiver interrupt",
|
/* 01 */ "terminal 0 receiver interrupt",
|
/* 02 */ "terminal 1 transmitter interrupt",
|
/* 02 */ "terminal 1 transmitter interrupt",
|
/* 03 */ "terminal 1 receiver interrupt",
|
/* 03 */ "terminal 1 receiver interrupt",
|
/* 04 */ "keyboard interrupt",
|
/* 04 */ "keyboard interrupt",
|
/* 05 */ "unknown interrupt",
|
/* 05 */ "unknown interrupt",
|
/* 06 */ "unknown interrupt",
|
/* 06 */ "unknown interrupt",
|
/* 07 */ "unknown interrupt",
|
/* 07 */ "unknown interrupt",
|
/* 08 */ "disk interrupt",
|
/* 08 */ "disk interrupt",
|
/* 09 */ "unknown interrupt",
|
/* 09 */ "unknown interrupt",
|
/* 10 */ "unknown interrupt",
|
/* 10 */ "unknown interrupt",
|
/* 11 */ "unknown interrupt",
|
/* 11 */ "unknown interrupt",
|
/* 12 */ "unknown interrupt",
|
/* 12 */ "unknown interrupt",
|
/* 13 */ "unknown interrupt",
|
/* 13 */ "unknown interrupt",
|
/* 14 */ "timer interrupt",
|
/* 14 */ "timer 0 interrupt",
|
/* 15 */ "unknown interrupt",
|
/* 15 */ "timer 1 interrupt",
|
/* 16 */ "bus timeout exception",
|
/* 16 */ "bus timeout exception",
|
/* 17 */ "illegal instruction exception",
|
/* 17 */ "illegal instruction exception",
|
/* 18 */ "privileged instruction exception",
|
/* 18 */ "privileged instruction exception",
|
/* 19 */ "divide instruction exception",
|
/* 19 */ "divide instruction exception",
|
/* 20 */ "trap instruction exception",
|
/* 20 */ "trap instruction exception",
|
/* 21 */ "TLB miss exception",
|
/* 21 */ "TLB miss exception",
|
/* 22 */ "TLB write exception",
|
/* 22 */ "TLB write exception",
|
/* 23 */ "TLB invalid exception",
|
/* 23 */ "TLB invalid exception",
|
/* 24 */ "illegal address exception",
|
/* 24 */ "illegal address exception",
|
/* 25 */ "privileged address exception",
|
/* 25 */ "privileged address exception",
|
/* 26 */ "unknown exception",
|
/* 26 */ "unknown exception",
|
/* 27 */ "unknown exception",
|
/* 27 */ "unknown exception",
|
/* 28 */ "unknown exception",
|
/* 28 */ "unknown exception",
|
/* 29 */ "unknown exception",
|
/* 29 */ "unknown exception",
|
/* 30 */ "unknown exception",
|
/* 30 */ "unknown exception",
|
/* 31 */ "unknown exception"
|
/* 31 */ "unknown exception"
|
};
|
};
|
|
|
|
|
void defaultISR(int irq, unsigned int *registers) {
|
void defaultISR(int irq, unsigned int *registers) {
|
printf("\n%s\n", exceptionCause[irq]);
|
printf("\n%s\n", exceptionCause[irq]);
|
}
|
}
|
|
|
|
|
void initInterrupts(void) {
|
void initInterrupts(void) {
|
int i;
|
int i;
|
|
|
for (i = 0; i < 32; i++) {
|
for (i = 0; i < 32; i++) {
|
setISR(i, defaultISR);
|
setISR(i, defaultISR);
|
}
|
}
|
}
|
}
|
|
|
|
|
/**************************************************************/
|
/**************************************************************/
|
|
|
|
|
void loadTask(unsigned char *code,
|
void loadTask(unsigned char *code,
|
int csize, unsigned int physCodeAddr,
|
int csize, unsigned int physCodeAddr,
|
int dsize, unsigned int physDataAddr,
|
int dsize, unsigned int physDataAddr,
|
int bsize) {
|
int bsize) {
|
unsigned char *virtLoadAddr;
|
unsigned char *virtLoadAddr;
|
int i;
|
int i;
|
|
|
virtLoadAddr = (unsigned char *) (0xC0000000 | physCodeAddr);
|
virtLoadAddr = (unsigned char *) (0xC0000000 | physCodeAddr);
|
for (i = 0; i < csize; i++) {
|
for (i = 0; i < csize; i++) {
|
*virtLoadAddr++ = *code++;
|
*virtLoadAddr++ = *code++;
|
}
|
}
|
virtLoadAddr = (unsigned char *) (0xC0000000 | physDataAddr);
|
virtLoadAddr = (unsigned char *) (0xC0000000 | physDataAddr);
|
for (i = 0; i < dsize; i++) {
|
for (i = 0; i < dsize; i++) {
|
*virtLoadAddr++ = *code++;
|
*virtLoadAddr++ = *code++;
|
}
|
}
|
for (i = 0; i < bsize; i++) {
|
for (i = 0; i < bsize; i++) {
|
*virtLoadAddr++ = '\0';
|
*virtLoadAddr++ = '\0';
|
}
|
}
|
}
|
}
|
|
|
|
|
/**************************************************************/
|
/**************************************************************/
|
|
|
|
|
void trapISR(int irq, unsigned int *registers) {
|
void trapISR(int irq, unsigned int *registers) {
|
/* 'putchar' is the only system call yet */
|
/* 'putchar' is the only system call yet */
|
putchar(registers[4]);
|
putchar(registers[4]);
|
/* skip the trap instruction */
|
/* skip the trap instruction */
|
registers[30] += 4;
|
registers[30] += 4;
|
}
|
}
|
|
|
|
|
/**************************************************************/
|
/**************************************************************/
|
|
|
|
|
void flushTLB(void) {
|
void flushTLB(void) {
|
unsigned int invalPage;
|
unsigned int invalPage;
|
int i;
|
int i;
|
|
|
invalPage = 0xC0000000;
|
invalPage = 0xC0000000;
|
for (i = 0; i < 32; i++) {
|
for (i = 0; i < 32; i++) {
|
setTLB(i, invalPage, 0);
|
setTLB(i, invalPage, 0);
|
invalPage += (1 << 12);
|
invalPage += (1 << 12);
|
}
|
}
|
}
|
}
|
|
|
|
|
/**************************************************************/
|
/**************************************************************/
|
|
|
|
|
unsigned int getNumber(unsigned char *p) {
|
unsigned int getNumber(unsigned char *p) {
|
return (unsigned int) *(p + 0) << 24 |
|
return (unsigned int) *(p + 0) << 24 |
|
(unsigned int) *(p + 1) << 16 |
|
(unsigned int) *(p + 1) << 16 |
|
(unsigned int) *(p + 2) << 8 |
|
(unsigned int) *(p + 2) << 8 |
|
(unsigned int) *(p + 3) << 0;
|
(unsigned int) *(p + 3) << 0;
|
}
|
}
|
|
|
|
|
void main(void) {
|
void main(void) {
|
unsigned int magic;
|
unsigned int magic;
|
unsigned int csize;
|
unsigned int csize;
|
unsigned int dsize;
|
unsigned int dsize;
|
unsigned int bsize;
|
unsigned int bsize;
|
|
|
printf("\n");
|
printf("\n");
|
printf("OS: initializing interrupts\n");
|
printf("OS: initializing interrupts\n");
|
initInterrupts();
|
initInterrupts();
|
setISR(20, trapISR);
|
setISR(20, trapISR);
|
/* load code at 256 k, data at (256 + 16) k */
|
/* load code at 256 k, data at (256 + 16) k */
|
printf("OS: loading task\n");
|
printf("OS: loading task\n");
|
magic = getNumber(taskCode + 0);
|
magic = getNumber(taskCode + 0);
|
csize = getNumber(taskCode + 4);
|
csize = getNumber(taskCode + 4);
|
dsize = getNumber(taskCode + 8);
|
dsize = getNumber(taskCode + 8);
|
bsize = getNumber(taskCode + 12);
|
bsize = getNumber(taskCode + 12);
|
if (magic != 0x1AA09232) {
|
if (magic != 0x1AA09232) {
|
printf("Error: Load module is not executable!\n");
|
printf("Error: Load module is not executable!\n");
|
while (1) ;
|
while (1) ;
|
}
|
}
|
printf("(csize = 0x%x, dsize = 0x%x, bsize = 0x%x)\n",
|
printf("(csize = 0x%x, dsize = 0x%x, bsize = 0x%x)\n",
|
csize, dsize, bsize);
|
csize, dsize, bsize);
|
loadTask(taskCode + 8 * sizeof(unsigned int),
|
loadTask(taskCode + 8 * sizeof(unsigned int),
|
csize, 64 << 12,
|
csize, 64 << 12,
|
dsize, 68 << 12,
|
dsize, 68 << 12,
|
bsize);
|
bsize);
|
printf("OS: presetting TLB\n");
|
printf("OS: presetting TLB\n");
|
flushTLB();
|
flushTLB();
|
setTLB(5, 0x00000000, 64 << 12 | 0x01);
|
setTLB(5, 0x00000000, 64 << 12 | 0x01);
|
setTLB(27, (csize + 0x00000FFF) & 0xFFFFF000, 68 << 12 | 0x03);
|
setTLB(27, (csize + 0x00000FFF) & 0xFFFFF000, 68 << 12 | 0x03);
|
setTLB(22, 0x7FFFF000, 80 << 12 | 0x03);
|
setTLB(22, 0x7FFFF000, 80 << 12 | 0x03);
|
printf("OS: starting task\n");
|
printf("OS: starting task\n");
|
startTask(80 << 12); /* stack at (256 + 64) k */
|
startTask(80 << 12); /* stack at (256 + 64) k */
|
}
|
}
|
|
|