kolibrios/drivers/devman/acpica/os_specific
..
service_layers