…on 12 December 2017 . Retrieved 4 January 2019 . ^ "Kernel" . PlayStation 5 Dev Wiki . ^ "Open Source Software used in PlayStation Vita" . Archived from the original on 12 December 2017 . Retrieved 8 December 2022 . ^ Leonard, Andrew (16 May 2000). "BSD Unix: Power to the people,…

…on 12 December 2017 . Retrieved 4 January 2019 . ^ "Kernel" . PlayStation 5 Dev Wiki . ^ "Open Source Software used in PlayStation Vita" . Archived from the original on 12 December 2017 . Retrieved 8 December 2022 . ^ Leonard, Andrew (16 May 2000). "BSD Unix: Power to the people,…

…to checked, which increases performance. ^ "SELinux/Quick introduction - Gentoo Wiki" . wiki.gentoo.org . ^ "Getting Started with SELinux" . Linode Guides & Tutorials . 18 March 2020. Archived from the original on 8 August 2019 . Retrieved 8 August 2019 . ^ "NB Overview - SELinux…