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:
508 bytes
|
| Rev | Line | |
|---|
| [ea5f46d] | 1 | /* Subsume %% to kernel interfaces */
|
|---|
| [cf7b3e0] | 2 | subsume %%:sys_klog to sys_klog;
|
|---|
| 3 | subsume %%:sys_tls to sys_tls;
|
|---|
| 4 | subsume %%:sys_thread to sys_thread;
|
|---|
| 5 | subsume %%:sys_task to sys_task;
|
|---|
| 6 | subsume %%:sys_program to sys_program;
|
|---|
| 7 | subsume %%:sys_futex to sys_futex;
|
|---|
| 8 | subsume %%:sys_smc to sys_smc;
|
|---|
| 9 | subsume %%:sys_as to sys_as;
|
|---|
| 10 | subsume %%:sys_ipc to sys_ipc;
|
|---|
| 11 | subsume %%:sys_event to sys_event;
|
|---|
| 12 | subsume %%:sys_cap to sys_cap;
|
|---|
| 13 | subsume %%:sys_ddi to sys_ddi;
|
|---|
| 14 | subsume %%:sys_sysinfo to sys_sysinfo;
|
|---|
| 15 | subsume %%:sys_debug to sys_debug;
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
