1# 2# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3# 4# SPDX-License-Identifier: GPL-2.0-only 5# 6 7cmake_minimum_required(VERSION 3.7.2) 8 9add_bf_source_old("Kernel32" "shared_types.bf" "libsel4/mode_include/32" "sel4") 10