tree e7bce33431b4ad993497bc6610b34278557b99b6
parent 9133ceb44dce8ee7325cba2c6272fa47b4ecdf8c
author Richard Barry <ribarry@amazon.com> 1301996742 +0000
committer Richard Barry <ribarry@amazon.com> 1301996742 +0000

Ensure that the configMAX_SYSCALL_INTERRUPT_PRIORITY setting works with all possible values.