18,11 → 18,11 |
|
/** |
------------ |
CVS : $Id: pinit.c,v 1.1.1.1 2002-09-02 09:37:47 pj Exp $ |
CVS : $Id: pinit.c,v 1.2 2003-10-07 09:30:18 giacomo Exp $ |
|
File: $File$ |
Revision: $Revision: 1.1.1.1 $ |
Last update: $Date: 2002-09-02 09:37:47 $ |
Revision: $Revision: 1.2 $ |
Last update: $Date: 2003-10-07 09:30:18 $ |
------------ |
|
This is a minimal initialization file for the PSE51 profile. |
87,7 → 87,7 |
SEM_register_module(); |
|
/* for the Pthread library */ |
PTHREAD_register_module(1, 0, 1); |
PTHREAD_register_module(0, 0, 1); |
|
/* for the real time clock extensions */ |
TIMER_register_module(); |