Changes in contrib/arch/kernel/kernel.adl [6fa9a99d:9d58539] in mainline
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
contrib/arch/kernel/kernel.adl
r6fa9a99d r9d58539 3 3 *****************************/ 4 4 5 interface sys_k io{5 interface sys_klog { 6 6 /* Print using kernel facility */ 7 sysarg_t sys_k io(int fd, const void *buf, size_t size);8 protocol: 9 ?sys_k io*7 sysarg_t sys_klog(int fd, const void *buf, size_t size); 8 protocol: 9 ?sys_klog* 10 10 }; 11 11 … … 251 251 frame sys_console { 252 252 provides: 253 sys_k io sys_kio;253 sys_klog sys_klog; 254 254 sys_console sys_console; 255 255 }; … … 316 316 inst sys_debug sys_debug; 317 317 318 delegate sys_k io to sys_console:sys_kio;318 delegate sys_klog to sys_console:sys_klog; 319 319 delegate sys_console to sys_console:sys_console; 320 320 delegate sys_tls to sys_proc:sys_tls;
Note:
See TracChangeset
for help on using the changeset viewer.