PolySync/cargo-fel4

Issues

• cargo fel4 build: libsel4-sys troubles

  #91 opened 6 years ago by dckc
  4

• No output when running sample project on Jetson Tx2

  #90 opened 6 years ago by ingenieroariel
  0

• Add riscv support

  #89 opened 6 years ago by ingenieroariel
  0

• error: function should have one argument

  #88 opened 6 years ago by ingenieroariel
  3

• Undeclared dependency

  #87 opened 6 years ago by sconybeare
  2

• Use seL4_MaxPrio in seL4_TCB_SetPriority

  #86 opened 6 years ago by jlamb-at-polysync
  0

• Add a CONTRIBUTING file

  #85 opened 6 years ago by ZackPierce
  0

• Migrate URLs from SSH to HTTPS

  #42 opened 6 years ago by jlamb-at-polysync
  0

• Determine whether or not changing target specification contents requires a manual cache cleaning

  #57 opened 6 years ago by jlamb-at-polysync
  1

• Investigate build error with compiler_builtins while using the arm-sel4-helios target

  #18 opened 6 years ago by jlamb-at-polysync
  4

• Should we pass-through other sub-commands/options?

  #22 opened 6 years ago by jlamb-at-polysync
  1

• Add documentation

  #9 opened 6 years ago by jlamb-at-polysync
  0

• A `test` subcommand

  #16 opened 6 years ago by pittma
  1

• Add support for arm64/aarch64 targets

  #24 opened 6 years ago by jlamb-at-polysync
  1

• Can we ship/vendor the feL4 target specifications?

  #8 opened 6 years ago by jlamb-at-polysync
  5

• Strategy for bootable ARM image

  #21 opened 6 years ago by jlamb-at-polysync
  0

• Headless / appless build

  #29 opened 6 years ago by pittma
  0

• For consideration: Move the libsel4-sys provided simulation script logic to cargo-fel4?

  #23 opened 7 years ago by jlamb-at-polysync
  1

• Building from out of project directory now fails

  #26 opened 7 years ago by jlamb-at-polysync
  5

• Proper delineation/usage of Helios vs feL4

  #11 opened 7 years ago by jlamb-at-polysync
  1

• Manage levels of verbosity for output.

  #13 opened 7 years ago by pittma
  2

• CPIO linker output format is hard coded to x86_64

  #4 opened 7 years ago by jlamb-at-polysync
  3

• Cleanup CPIO routines

  #15 opened 7 years ago by jlamb-at-polysync
  1

• Enable flexible workspace builds

  #6 opened 7 years ago by jlamb-at-polysync
  1