1. 20732df board/bsc9131rdb: Update default boot environment settings by Priyanka Jain · Thu Apr 04 14:40:32 2013 +0530
  2. f9146bd board/bsc9131rdb: Add targets for Sysclk 100MHz by Priyanka Jain · Mon Apr 01 12:12:45 2013 +0530
  3. 63956d5 powerpc/mpc85xx:Add BSC9131 RDB Support by Prabhakar Kushwaha · Tue Apr 24 20:17:15 2012 +0000