There are several models from both companies that are both Intel and ARM. Even several HP 14's that are diversified. You can check here to see what I mean. Google Chromebook Comparison Chart
The most I see in person when I'm browsing sites are pretty much all ARM though.