به گزارش خبرنگار دفاع پرس از قم، نام شهید بزرگوار آیت الله سید مصطفی خمینی(ره) فرزند برومند حضرت امام(ره) که در اول آبان سال 56 به شهادت رسید، در زمره شهدای محله یخچال قاضی قم دیده می شود.
حاج آقا مصطفی پس از شهادت در نجف اشرف، در کربلا غسل داده شد و در جوار مضجع شریف امام علی(ع) در نجف به خاک سپرده شد.
بیت تاریخی حضرت امام خمینی(ره) در محله یخچال قاضی قرار دارد. تبعید امام به ترکیه از این منزل آغاز شد.