default.nix

{ framework ? import ../../nix/framework }:

let
  inherit (framework) lib pkgs;

  configured = pkgs.none.icecap.configured.virt;

  inherit (pkgs.none.icecap) icecapSrc platUtils elfUtils;

in rec {

  run = platUtils.${configured.icecapPlat}.bundle {
    inherit (composition) image;
  };

  composition = configured.compose {
    app-elf = elfUtils.split "${root-task}/bin/root-task.elf";
  };

  root-task = configured.userC.mkRoot {
    name = "root-task";
    root = icecapSrc.absoluteSplit ./root-task;
    propagatedBuildInputs = with configured.userC.rootLibs; [
      icecap-runtime
      icecap-utils
    ];
  };

}