int main(void){
/* initialise communication */
ttyout_init();
do {
printf("task:\tHello world, I'm\ttty_test!\n");
benchmark();
//pt_test();
//readonly_test();
//stack_overflow_test();
//thread_block();
//sleep(8); // Implement this as a syscall
} while(1);
return 0;
}
int main(void)
{
/* initialise communication */
ttyout_init();
// invalid access:
//*(char *) 0x30000000 = 123;
//*(char *) NULL = 123;
pt_test();
L4_ThreadId_t myid;
/*assert( ((int)&stack_space) > 0x2000000);
stack_space[0] = 'a';
stack_space[1025] = 'b';
//L4_Word_t utcb_location = (L4_Word_t) L4_GetUtcbBase();
//printf("utcb is at: %ud", utcb_location);
printf("stack addr: %X\n", (int)&stack_space);*/
myid = L4_Myself();
do {
printf("task:\tHello world, I'm\t0x%lx!\n", L4_ThreadNo(myid));
sos_write("123456789012345\n", 0, 16, NULL);
sos_write("1234567890123456789\n", 0, 20, NULL);
sos_write("abcdefghijklmnop\n", 0, 17, NULL);
sos_write("abc\n", 0, 4, NULL);
thread_block();
// sleep(1); // Implement this as a syscall
} while(1);
return 0;
}
