Cara acredito que qualquer soc com ARM te atende bem. Sugiro que de uma olhada nas linhas da stm32 e nxp.
Você está falando daqueles kits de desenvolvimento não é ?
É o que chega mais perto mesmo.
Dei uma olhada no STM32 e NXP
Mas gostei da Microchip, https://www.microchip.com/en-us/product/SAM9X60D1G-I/LZB
Ela deixa claro que da para programar sem sistema operacional, ela chama de bare metal.
O problema que essa ai ainda teria algum trabalho para montar outros periféricos. Tem outras mais prontas mas se for importar vai ficar por uns R$ 4 mil.
Por isso eu perguntei se alguém conhecia algum pc que desse para programar sem sistem operacional, tipo um notbook já tudo pronto só programar, mas tem que ter a explicação da fabricante de como fazer isso !!! se não não adianta !!!! Igual a microchip ensina.
Nas outras marcas eu não consigo achar essa info de que dá pra programar em bare metal, principalmente nessas famosinhas ai. Elas já vem com o Linux.
Cara, vc já pesquisou sobre bare matel x86? Assim poderia usar um notebook sem OS.