version 1.12, 2007/11/19 11:21:48 |
version 1.13, 2007/11/20 16:10:52 |
|
|
*/ |
*/ |
#include <sys/types.h> |
#include <sys/types.h> |
#include <sys/device.h> |
#include <sys/device.h> |
|
#include <sys/kern_sched.h> |
/* |
/* |
* Configuration file for platform (testarm). |
* Configuration file for platform (testarm). |
*/ |
*/ |
|
|
extern struct driver tairqc_dr; |
extern struct driver tairqc_dr; |
|
|
|
|
|
/* putchar & early putchar */ |
extern void(*putchar)(char); |
extern void(*putchar)(char); |
void tacons_early_putc(char ch); |
void tacons_early_putc(char ch); |
|
|
|
/* tasks */ |
|
extern void hello_enter(void); |
|
|
|
|
/* amount of physical memory, in Bytes */ |
/* amount of physical memory, in Bytes */ |
uint32_t physmem = 33554432; |
uint32_t physmem = 33554432; |
|
|
|
|
|
|
|
|
/* |
/* |
|
* Tasks. |
|
*/ |
|
struct u_task config_tasklist[] = { |
|
/* name, priority, enter */ |
|
{ "hello", 1, hello_enter }, |
|
{ NULL, 0, NULL } |
|
}; |
|
|
|
|
|
/* |
* Machine early-stage initialization hooks. |
* Machine early-stage initialization hooks. |
*/ |
*/ |
|
|
|
|
*/ |
*/ |
/* putchar = tauart_early_putc; */ |
/* putchar = tauart_early_putc; */ |
putchar = tacons_early_putc; |
putchar = tacons_early_putc; |
|
|
} |
} |
|
|
|
|