Verze z 25. 1. 2017, 17:37 editovat Wesalius (diskuse \| příspěvky) Prověření uživatelé 4 692 editací Nová sekce →‎sel4 v článku Raspberry Pi ← Přejít na předchozí porovnání		Verze z 25. 1. 2017, 21:25 editovat zrušit editaci Flanagancz (diskuse \| příspěvky) Prověření uživatelé 3 185 editací →‎sel4 v článku Raspberry Pi: re Přejít na další porovnání →
Řádek 42: Děkuji za vyřešení. --[[Uživatel:Wesalius\|Wesalius]] <sub>[[Diskuse s uživatelem:Wesalius\|d]]</sub>\|<sup>[[Speciální:Příspěvky/Wesalius\|p]]</sup> 25. 1. 2017, 16:37 (CET) {{re\|Wesalius}}:Dobrý den, :děkuji, že jste můj příspěvek nerevertoval. :Dále, ano, sel4 je mikrojádro, ale to neznamená, že na něm nelze spouštět uživatelské servery a virtualizaci. Viz podobný systém L4 Fiasco - [[L4Linux]]. :Máte pravdu, sel4 nebyl napsán pro rpi, změnil jsem. :Máte pravdu, sekci jsem zařadil do sw. :--[[Wikipedista:Flanagancz\|Flanagancz]] ([[Diskuse s wikipedistou:Flanagancz\|diskuse]]) 25. 1. 2017, 20:23 (CET)

Flanagancz