18,11 → 18,11 |
|
/** |
------------ |
CVS : $Id: pinit.c,v 1.3 2004-05-23 09:05:50 giacomo Exp $ |
CVS : $Id: pinit.c,v 1.4 2005-02-25 11:05:44 pj Exp $ |
|
File: $File$ |
Revision: $Revision: 1.3 $ |
Last update: $Date: 2004-05-23 09:05:50 $ |
Revision: $Revision: 1.4 $ |
Last update: $Date: 2005-02-25 11:05:44 $ |
------------ |
|
This is a minimal initialization file for the PSE51 profile. |
53,14 → 53,14 |
|
|
#include "kernel/kern.h" |
#include "modules/posix.h" |
#include "modules/dummy.h" |
#include "posix/posix/posix.h" |
#include "dummy/dummy/dummy.h" |
|
#include "modules/pi.h" |
#include "modules/pc.h" |
#include "pi/pi/pi.h" |
#include "pc/pc/pc.h" |
|
#include "modules/sem.h" |
#include "modules/hartport.h" |
#include "sem/sem/sem.h" |
#include "hartport/hartport/hartport.h" |
|
#include "pthread.h" |
#include "time.h" |