后人称朱元璋睡觉的这块石头为“朱眠石”。