lfn
serial
ticket/834-toolchain-update
topic/msim-upgrade
topic/simplify-dev-export
|
Last change
on this file since 86018c1 was 82cf692, checked in by Martin Decky <martin@…>, 16 years ago |
|
protocol closure
(now all bindings are satisfied and the whole architecture can be verified, but this doesn't mean that the protocols are correct)
|
-
Property mode
set to
100644
|
|
File size:
561 bytes
|
| Line | |
|---|
| 1 | /* Bind %% to kernel interfaces */
|
|---|
| 2 | bind %%:sys_klog to kernel:sys_klog;
|
|---|
| 3 | bind %%:sys_tls to kernel:sys_tls;
|
|---|
| 4 | bind %%:sys_thread to kernel:sys_thread;
|
|---|
| 5 | bind %%:sys_task to kernel:sys_task;
|
|---|
| 6 | bind %%:sys_program to kernel:sys_program;
|
|---|
| 7 | bind %%:sys_futex to kernel:sys_futex;
|
|---|
| 8 | bind %%:sys_smc to kernel:sys_smc;
|
|---|
| 9 | bind %%:sys_as to kernel:sys_as;
|
|---|
| 10 | bind %%:sys_ipc to kernel:sys_ipc;
|
|---|
| 11 | bind %%:sys_event to kernel:sys_event;
|
|---|
| 12 | bind %%:sys_cap to kernel:sys_cap;
|
|---|
| 13 | bind %%:sys_ddi to kernel:sys_ddi;
|
|---|
| 14 | bind %%:sys_sysinfo to kernel:sys_sysinfo;
|
|---|
| 15 | bind %%:sys_debug to kernel:sys_debug;
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
