Pavona vs. OpenTitan, why the hard fork? | Dark Hacker News