private information

Software support for the SPEC board, including kernel and user-space Linux code.