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.