ucLinux is a very good embeded sytem. Most of company use this as their development OS.

				/* vi: set sw=4 ts=4: */				/*				 * times() for uClibc				 *				 * Copyright (C) 2000-2004 by Erik Andersen 				 *				 * GNU Library General Public License (LGPL) version 2 or later.				 */								#include "syscalls.h"				#include 				_syscall1(clock_t, times, struct tms *, buf);