#include    <stdio.h>
#include    <string.h>
#include    <ctype.h>
#include    <stdlib.h>

#include    "os_cpu.h"
#include    "OSNios.h"
#include    "os_cfg.h"
#include    "ucos_ii.h"