What is this pepper? Crushed red

This is labeled crushed red pepper but that’s not a pepper. What is it actually?