…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,…