Context Navigation

-              r208b5f5
+              r6fa9a99d
         /* Kernel log */
         inst klog klog;
+        inst kio kio;
         [/uspace/lib/libc/bind%ns]
 …
         [/uspace/lib/libc/bind%vfs]
         [/uspace/lib/libc/bind%console]
         [/uspace/lib/libc/bind%klog]
+        [/uspace/lib/libc/bind%kio]
         bind ns:kbd to console:kbd;
 …
         bind console:sys_console to kernel:sys_console;
         bind klog:ns to ns:ns;
+        bind kio:ns to ns:ns;
 };

contrib/arch/kernel/kernel.adl

-              r208b5f5
+              r6fa9a99d
  *****************************/
 interface sys_klog {
+interface sys_kio {
                 /* Print using kernel facility */
                 sysarg_t sys_klog(int fd, const void *buf, size_t size);
         protocol:
                 ?sys_klog*
+                sysarg_t sys_kio(int fd, const void *buf, size_t size);
+        protocol:
+                ?sys_kio*
 };
 …
 frame sys_console {
         provides:
                 sys_klog sys_klog;
+                sys_kio sys_kio;
                 sys_console sys_console;
 };
 …
         inst sys_debug sys_debug;
         delegate sys_klog to sys_console:sys_klog;
+        delegate sys_kio to sys_console:sys_kio;
         delegate sys_console to sys_console:sys_console;
         delegate sys_tls to sys_proc:sys_tls;

-              r208b5f5
+              r6fa9a99d
 frame klog {
+frame kio {
         requires:
                 naming_service ns;
                 [/uspace/lib/libc/requires]
         initialization:
                 !ns.ipc_m_share_in /* SERVICE_MEM_KLOG */
+                !ns.ipc_m_share_in /* SERVICE_MEM_KIO */
         protocol:
                 [/uspace/lib/libc/protocol]

r208b5f5	r6fa9a99d
1	1	/* Bind %% to kernel interfaces */
2		bind %%:sys_k~~log to kernel:sys_klog~~;
	2	bind %%:sys_kio to kernel:sys_kio;
3	3	bind %%:sys_tls to kernel:sys_tls;
4	4	bind %%:sys_thread to kernel:sys_thread;

r208b5f5	r6fa9a99d
1	1	/* Protocol according to which libc uses kernel syscalls */
2	2	(
3		!sys_k~~log.sys_klog~~ +
	3	!sys_kio.sys_kio +
4	4	!sys_tls.sys_tls_set +
5	5	!sys_thread.sys_thread_create +

r208b5f5	r6fa9a99d
1	1	/* Kernel interfaces required by libc */
2		sys_k~~log sys_klog~~;
	2	sys_kio sys_kio;
3	3	sys_tls sys_tls;
4	4	sys_thread sys_thread;

r208b5f5	r6fa9a99d
1	1	/* Subsume %% to kernel interfaces */
2		subsume %%:sys_k~~log to sys_klog~~;
	2	subsume %%:sys_kio to sys_kio;
3	3	subsume %%:sys_tls to sys_tls;
4	4	subsume %%:sys_thread to sys_thread;

r208b5f5	r6fa9a99d
6	6	sysarg_t ipc_m_connect_me_to(in sysarg_t service, in sysarg_t arg2, in sysarg_t arg3, in sysarg_t flags);
7	7
8		/* Share real-time clock page or k~~log~~ page */
	8	/* Share real-time clock page or kio page */
9	9	sysarg_t ipc_m_share_in(in sysarg_t as_area_base, in sysarg_t as_area_size, in sysarg_t service);
10	10

Note: See TracChangeset for help on using the changeset viewer.