How to factory reset Galaxy Note 10.1 from Odin

My Note 10.1 (N8010) won't boot - sticks at the "Samsung Galaxy Note 10.1" logo. Power+VolUp does not take me to the recovery (just reboots), but Power+VolDown *does* take me to "ODIN MODE", so I presume my options are limited to things I can do from ODIN MODE. Fortunately there is no data on the tablet that I need. I would like to perform a factory reset. My best guess is that I need to erase the cache (and possibly data) partitions. Can I erase these from ODIN? If I need a cache.img or other images, where can I get or how can I create one? I use Linux so I cannot use Kies. I have Heimdall which appears to do this sort of thing. I have flashed TWRP (using ODIN) in the hope that it would boot into that recovery, but it does not.