一説には、833年(天長10年)に空海にしたがって高野山にのぼり修禅院を建立したという。