WUSTL-CSPL/RT-TEE

Issues

• where the I/O reference monitor code

  #13 opened a year ago by zz-fz-john
  0

• How to run RT-TEE on risperry pi 3b

  #7 opened 2 years ago by zz-fz-john
  3

• Have you been moved all flight controller into RT-TEE

  #12 opened 2 years ago by zz-fz-john
  1

• Dereference of user pointer in pseudo TA open session

  #11 opened 2 years ago by RichardHabeeb
  0

• Compiled object files and .d files prevent build of EDK2/ARM-TF

  #10 opened 2 years ago by RichardHabeeb
  0

• envi_setup hardcoded path

  #8 opened 2 years ago by RichardHabeeb
  0

• mkdir causes build script to fail early

  #9 opened 2 years ago by RichardHabeeb
  0

• I cannot compile the project

  #2 opened 2 years ago by zz-fz-john
  1

• edk2 BuildEnv.sh is stale

  #4 opened 2 years ago by RichardHabeeb
  1

• Buildroot arch/Config.in.x86 is missing and prevents build from continuing

  #6 opened 2 years ago by RichardHabeeb
  2

• Linux Makefile.lib is missing

  #5 opened 2 years ago by RichardHabeeb
  1

• Path is hardcoded into envi_setup.txt

  #3 opened 2 years ago by RichardHabeeb
  1

• How to run RT-TEE on NXP LPC55S69

  #1 opened 3 years ago by danielRep
  2