2017-01-11 00:54:25 +01:00
|
|
|
type hal_gnss_default, domain;
|
2017-03-17 02:48:40 +01:00
|
|
|
hal_server_domain(hal_gnss_default, hal_gnss)
|
2016-12-09 17:53:42 +01:00
|
|
|
|
2017-04-10 22:03:28 +02:00
|
|
|
type hal_gnss_default_exec, exec_type, vendor_file_type, file_type;
|
2016-12-09 17:53:42 +01:00
|
|
|
init_daemon_domain(hal_gnss_default)
|