Aki beszéli a gép nyelvét(Assembly) az uralja is?

Nem. Mivel minden a gép nyelvén van, az OS is, ugyanazok a korlátozások igazak rá, mint bármely más programra, amit nem abban írtak.

Ezen felül a processzoroknak is vannak különböző védelmi szintjei, hogy milyen utasításokhoz, memóriarészekhez... mi férhet hozzá.

Nem, a nyelv és a jogosultsági rendszer független egymástól. Az igaz, hogy minnél "alacsonyabb" szinten van valami megírva annál jobban "hozzáfér" bizonyos dolgokhoz. Illetve az is igaz, hogy sok esetben (egyedi, meg beágyazott rendszerek, célszámítógépek esetén) az oprendszer nem C-ben hanem assembly-ben készül (de legalábbis egy része) és az még nagyon gépközeli védelmi szinten fut (direkt nem írom, hogy milyen szinten, mert az proci függő, hogy melyiknél melyik szintnek nevezik) a program, "kernel" szinten (vagy driver szint, vagy firmware szint ki hogy nevezi) a megírt program hozzáfér közvetlenül a memóriához, hardverhez. Nyilván itt is azért vannak korlátok. De egyre több helyen kezd divattá válni (úgy nagyjából 50 éve), hogy ezeket a részeket is C-ben vagy valami más magas szintű nyelven írják meg. Egyre kevésbé van szükség magas szintű assembly tudásra (talán annak aki a C fordító ezen részeit írja) az oprendszer és az oprendszerhez hasonló dolgok megírásához.

Nyilván egy magasabb szintű assembly ismeret azért már hozza magával a hardver alapos ismeretét, meg azt is, hogy mit, hogyan, miért, miért pont űgy szokás megírni egy adott hardveren, procin, rendszeren. Ezekre pl. azoknak akik mondjuk egy matematika számítást írnak már egyáltalán nincs szükségük, mert a fordító ezeket elrejti előlük. Nyilván itt is lehet olyan extrém példákat találni amikor kell ismerni sok mindent de azok az extrém esetek. Ugyanígy aki egy weblap programját írja php-ben nem kell tudnia, hogy az utasítás regiszterbe hogyan kerül be az opkód.