1# 2# Copyright 2016, Data61 3# Commonwealth Scientific and Industrial Research Organisation (CSIRO) 4# ABN 41 687 119 230. 5# 6# This software may be distributed and modified according to the terms of 7# the BSD 2-Clause license. Note that NO WARRANTY is provided. 8# See "LICENSE_BSD2.txt" for details. 9# 10# @TAG(D61_BSD) 11# 12 13apps-$(CONFIG_APP_PROCESS_SERVER) += process_server 14 15process_server-y = common libsel4 libmuslc libsel4allocman libsel4vka \ 16 libsel4platsupport libsel4muslcsys libsel4utils \ 17 libcpio libelf librefos libdatastruct libsel4simple \ 18 libsel4vspace libsel4utils libutils libsel4vspace 19 20process_server-$(CONFIG_LIB_SEL4_SIMPLE_DEFAULT) += libsel4simple-default 21 22process_server: kernel_elf $(process_server-y) 23