Rev 3846 | Rev 3912 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3846 | Rev 3886 | ||
---|---|---|---|
Line 38... | Line 38... | ||
38 | #include <task.h> |
38 | #include <task.h> |
39 | 39 | ||
40 | #include <ipc/ipc.h> |
40 | #include <ipc/ipc.h> |
41 | #include <ipc/services.h> |
41 | #include <ipc/services.h> |
42 | 42 | ||
43 | #include "../err.h" |
43 | #include "../../err.h" |
44 | #include "../messages.h" |
44 | #include "../../messages.h" |
45 | #include "../modules.h" |
45 | #include "../../modules.h" |
46 | #include "../self_test.h" |
46 | #include "../../self_test.h" |
47 | 47 | ||
48 | #define NAME "Networking startup" |
48 | #define NAME "Networking startup" |
49 | 49 | ||
50 | int main( int argc, char * argv[] ); |
50 | int main( int argc, char * argv[] ); |
51 | task_id_t spawn( const char * fname ); |
51 | task_id_t spawn( const char * fname ); |