On 01/06/2022 09:49, Marek wrote:
>> Ogólnie to nie tak, że poważne rzeczy da się robić tylko na poważnych
>> systemach z grep i apt-get. Małe kontrolery, nie obciązone masą
>> skomplikowanych detali, bywają łatwiejsze w ogarnięciu przy formalnej
>> weryfikacji/certyfikacji niż Unix-like.
> Tak, ale niebo tym jest dyskusja. Atlantis nie pyta o  małe kontrolery.

Raczej pyta o "małe". Współczesne gołe linuxy to gigabaty dysku i
gigabajty ramu i to na SAM9 raczej nie ruszy, ogólnie w grę wchodziły by
tylko jakieś prosto lutowalne SoC jak choćby procesory Hixxxx stosowane
w rejestratorach kamer czy wynalazki z okolic bardziej przyjaznych dla
hobbysty S3C2440, ale one wszystkie są obarczone problemami z żałosną
dokumentacją i zerowym wsparciem w porównaniu z Pi.

Można mieć unix-like experience bez protekcji pamięci. W zasadzie, jesli
to system zabawkowy, to nie ma dużej różnicy dla hobbysty. "Muszę mieć
koniecznie Linuxa z forkiem" może być złym kierunkiem bo zaczną się
problemy które są cięzki i nieistotne jednocześnie.