Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changeset 82cf692 in mainline


Ignore:
Timestamp:
2009-09-17T21:22:36Z (11 years ago)
Author:
Martin Decky <martin@…>
Branches:
master
Children:
69dc065
Parents:
3037384
Message:

protocol closure
(now all bindings are satisfied and the whole architecture can be verified, but this doesn't mean that the protocols are correct)

Location:
contrib/arch
Files:
9 edited

Legend:

Unmodified
Added
Removed
  • contrib/arch/HelenOS.adl

    r3037384 r82cf692  
    4545       
    4646        bind console:ns to ns:ns;
     47        bind console:sys_console to kernel:sys_console;
    4748       
    4849        bind klog:ns to ns:ns;
  • contrib/arch/uspace/lib/libc/bind

    r3037384 r82cf692  
    11/* Bind %% to kernel interfaces */
    22bind %%:sys_klog to kernel:sys_klog;
    3 bind %%:sys_console to kernel:sys_console;
    43bind %%:sys_tls to kernel:sys_tls;
    54bind %%:sys_thread to kernel:sys_thread;
  • contrib/arch/uspace/lib/libc/requires

    r3037384 r82cf692  
    11/* Kernel interfaces required by libc */
    22sys_klog sys_klog;
    3 sys_console sys_console;
    43sys_tls sys_tls;
    54sys_thread sys_thread;
  • contrib/arch/uspace/lib/libc/subsume

    r3037384 r82cf692  
    11/* Subsume %% to kernel interfaces */
    22subsume %%:sys_klog to sys_klog;
    3 subsume %%:sys_console to sys_console;
    43subsume %%:sys_tls to sys_tls;
    54subsume %%:sys_thread to sys_thread;
  • contrib/arch/uspace/srv/console/console.adl

    r3037384 r82cf692  
    5151                fb fb;
    5252                ns ns;
     53                sys_console sys_console;
    5354        protocol:
    5455                [/uspace/lib/libc/protocol] |
     
    7374       
    7475        subsume ui_dispatcher:ns to ns;
     76        subsume ui_dispatcher:sys_console to sys_console;
     77       
    7578        subsume kbd:ns to ns;
    7679        subsume fb:ns to ns;
  • contrib/arch/uspace/srv/console/console.bp

    r3037384 r82cf692  
    5858        } +
    5959       
     60        ?kcon_enable {
     61                !sys_console.sys_enable_console
     62        } +
     63       
    6064        ?get_event +
    6165        ?get_size +
    62         ?get_color_cap +
    63         ?kcon_enable
     66        ?get_color_cap
    6467)* ;
    6568?ipc_m_phone_hungup {
  • contrib/arch/uspace/srv/console/console_server.bp

    r3037384 r82cf692  
    1717        !fb.ipc_m_share_out ;
    1818        [/uspace/lib/libc/fnc.devmap_device_register]* ;
     19        !sys_console.sys_disable_console ;
    1920        [fnc.gcons_redraw_console] ;
    2021        [fnc.set_rgb_color] ;
  • contrib/arch/uspace/srv/fs/fat/fat.bp

    r3037384 r82cf692  
    55        (
    66                ?mounted {
    7                         ?ipc_m_data_write /* mount options */
     7                        ?ipc_m_data_write /* mount options */ ;
     8                        tentative {
     9                                [/uspace/lib/libblock/fnc.block_init%rd]
     10                        }
    811                } +
    912               
  • contrib/arch/uspace/srv/kbd/event.bp

    r3037384 r82cf692  
    11?ipc_m_connect_me_to ;
    2 ?event* ;
     2?event {
     3        tentative {
     4                !sys_console.sys_enable_console
     5        }
     6}* ;
    37?ipc_m_phone_hungup
Note: See TracChangeset for help on using the changeset viewer.