Newer
Older
type hal_boot, domain, boot_control_hal;
hal_impl_domain(hal_boot)
type hal_boot_exec, exec_type, file_type;
# hwbinder access
hwbinder_use(hal_boot)
# call into system_server process (callbacks)
binder_call(hal_boot, system_server)