1. 07 Nov, 2018 1 commit
  2. 19 Jul, 2017 1 commit
    • Jimmy Brush's avatar
      Update and fix build system · f55036b2
      Jimmy Brush authored
      - Updated sel4_tools to 5.1.x branch
      - Added tools/common/Kconfig to root Kconfig. Resolves build issues when
      configuring more than 1 CPUs
      - Updated kernel configs to support 32 CPU cores
      - Change readme to remove warning about object numbers (fixed by
      sel4_config)
      f55036b2
  3. 16 May, 2017 1 commit
  4. 07 Jan, 2017 1 commit
  5. 13 Nov, 2016 1 commit