#ifndef SYS_KERNEL_H
#define SYS_KERNEL_H

extern unsigned long cntfrq;
extern unsigned long cmdidx;
extern char cmd[2048];

#endif