Bump IPC_MAX_ASYNC_CALLS
[helenos.git] / contrib / arch / HelenOS.adl
blob402a4804d61e9022370cc78160c010398ab37d61
1 system architecture HelenOS version 0.5.0 {
2         /* SPARTAN kernel */
3         inst kernel kernel;
4         
5         /* Naming Service */
6         inst ns ns;
7         
8         /* Loader (clonable service) */
9         inst loader loader;
10         
11         /* Device mapper */
12         inst devmap devmap;
13         
14         /* Block device */
15         inst bd bd;
16         
17         /* VFS server */
18         inst vfs vfs;
19         
20         /* Console */
21         inst console console;
22         
23         /* Kernel log */
24         inst kio kio;
25         
26         [/uspace/lib/libc/bind%ns]
27         [/uspace/lib/libc/bind%loader]
28         [/uspace/lib/libc/bind%devmap]
29         [/uspace/lib/libc/bind%bd]
30         [/uspace/lib/libc/bind%vfs]
31         [/uspace/lib/libc/bind%console]
32         [/uspace/lib/libc/bind%kio]
33         
34         bind ns:kbd to console:kbd;
35         bind ns:fb to console:fb;
36         bind ns:console to console:console;
37         bind ns:vfs to vfs:vfs;
38         bind ns:devmap_driver to devmap:devmap_driver;
39         bind ns:devmap_client to devmap:devmap_client;
40         bind ns:loader to loader:loader;
41         
42         bind loader:ns to ns:ns;
43         
44         bind devmap:ns to ns:ns;
45         bind devmap:rd to bd:rd;
46         bind devmap:console to console:console;
47         
48         bind bd:ns to ns:ns;
49         bind bd:devmap_driver to devmap:devmap_driver;
50         
51         bind vfs:ns to ns:ns;
52         bind vfs:rd to bd:rd;
53         bind vfs:devmap_client to devmap:devmap_client;
54         bind vfs:device to console:console;
55         
56         bind console:ns to ns:ns;
57         bind console:devmap_driver to devmap:devmap_driver;
58         bind console:sys_console to kernel:sys_console;
59         
60         bind kio:ns to ns:ns;