| -- |
| -- Copyright 2023 Google LLC |
| -- |
| -- Licensed under the Apache License, Version 2.0 (the "License"); |
| -- you may not use this file except in compliance with the License. |
| -- You may obtain a copy of the License at |
| -- |
| -- http://www.apache.org/licenses/LICENSE-2.0 |
| -- |
| -- Unless required by applicable law or agreed to in writing, software |
| -- distributed under the License is distributed on an "AS IS" BASIS, |
| -- WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| -- See the License for the specific language governing permissions and |
| -- limitations under the License. |
| |
| set_project("CHERIoT soundstream demo") |
| |
| local shodan_dir = os.getenv("ROOTDIR") |
| if shodan_dir == nil or shodan_dir == '' then |
| raise("ROOTDIR not set") |
| end |
| local cheriot_out_dir = os.getenv("CHERIOT_OUT_DIR") |
| if cheriot_out_dir == nil or cheriot_out_dir == '' then |
| raise("CHERIOT_OUT_DIR not set") |
| end |
| |
| local sdkdir = path.join(shodan_dir, "sw/cheriot-rtos/sdk") |
| includes(sdkdir) |
| set_toolchains("cheriot-clang") |
| |
| option("board") |
| set_default("sencha") |
| |
| local matcha_dir = path.join(shodan_dir, "hw/matcha") |
| local dif_dir = path.join(matcha_dir, "sw/device/lib/dif") |
| local dif_autogen_dir = path.join(dif_dir, "autogen") |
| local opentitan_dir = path.join(shodan_dir, "hw/opentitan-upstream") |
| local matcha_gen_dir = path.join(cheriot_out_dir, "opentitan-gen/include/opentitan") |
| |
| -- Support libraries |
| includes(path.join(sdkdir, "lib")) |
| includes(path.join(sdkdir, "lib/freestanding")) |
| |
| -- Each driver operates in a compartment. |
| compartment("i2s") |
| add_files("i2s.cc") |
| add_files(path.join(dif_dir, "dif_i2s.c"), |
| path.join(dif_autogen_dir, "dif_i2s_autogen.c")) |
| add_includedirs(matcha_dir, matcha_gen_dir, opentitan_dir) |
| add_defines("CHERIOT_NO_AMBIENT_MALLOC") |
| |
| compartment("mailbox") |
| add_files("mailbox.cc") |
| add_files(path.join(dif_dir, "dif_tlul_mailbox.c"), |
| path.join(dif_autogen_dir, "dif_tlul_mailbox_autogen.c")) |
| add_includedirs(matcha_dir, matcha_gen_dir, opentitan_dir) |
| add_defines("CHERIOT_NO_AMBIENT_MALLOC") |
| |
| compartment("ml_top") |
| add_files("ml_top.cc") |
| add_files(path.join(dif_dir, "dif_ml_top.c"), |
| path.join(dif_autogen_dir, "dif_ml_top_autogen.c")) |
| add_includedirs(matcha_dir, matcha_gen_dir, opentitan_dir) |
| add_defines("CHERIOT_NO_AMBIENT_MALLOC") |
| |
| -- Soundstream application. |
| compartment("soundstream") |
| add_files("soundstream.cc", "encode.cc") |
| add_files(path.join(matcha_dir, "hw/top_matcha/sw/autogen/top_matcha.c")); |
| add_includedirs(matcha_dir, matcha_gen_dir, opentitan_dir) |
| |
| -- Firmware image. |
| firmware("soundstream-firmware") |
| add_deps("freestanding") |
| add_deps("debug", "i2s", "ml_top", "mailbox", "soundstream") |
| on_load(function(target) |
| target:values_set("board", "$(board)") |
| -- NB: trusted_stack_frames is a guess; +1'd for any |
| -- compartment error handler usage? |
| target:values_set("threads", { |
| { |
| compartment = "soundstream", |
| priority = 1, |
| entry_point = "entry", |
| stack_size = 0x1000, -- 4KB |
| trusted_stack_frames = 5 |
| }, |
| -- NB: stack sizes bumped for logging |
| { |
| compartment = "i2s", |
| priority = 1, |
| entry_point = "i2s_isr", |
| stack_size = 0x400, -- 512B |
| trusted_stack_frames = 3 |
| }, |
| { |
| compartment = "ml_top", |
| priority = 1, |
| entry_point = "ml_top_isr", |
| stack_size = 0x400, -- 512B |
| trusted_stack_frames = 3 |
| }, |
| { |
| compartment = "mailbox", |
| priority = 1, |
| entry_point = "mailbox_isr", |
| stack_size = 0x400, -- 512B |
| trusted_stack_frames = 3 |
| } |
| }, {expand = false}) |
| end) |