On 30/03/2021 15:46, Marek wrote:
>> Coby po raz pierwszy wsadzenie złośliwego sterowanika nie kończyło się
>> napierniczaniem złośliwego kodu w ring -13.
> W 2014 OpenBSD zdecydowało się wywalić LKM w ogóle, właśnie z tego
> powodu :), punkt dla monolitycznego jądra.

Jak bym w ogóle nie uruchamiał komputera. Suktek jeszcze lepszy, nic się
nie wykona złośliwie.

>> Mikrokernel ma zapewniać separacje i bezpieczeństwo. Zasoby i
>> wydajność mam w nosie.
> OpenBSD jako jeden z najbezpieczniejszych unices wykazał, że da się
> zrobić bezpieczny os  bez mikrojądra, kolejny punkt dla monolitycznego
> jądra.

Ale poświęcając ficzery jakie ma mikrokernel. Na przykład *własnie*
separowalny kod, w dodatku z szansą na weryfikację formalna tej separacji.

Nie ma żadnego problemu zrobić bezpieczny monolityczny system. Ale nie o
to chodzi. Ja chce moduły. I jednoczesnie nie chce aby miały prawo do
grzebania mi po dowolnych beebchach komputera.