Plug the drive into your PS4, go to Settings , navigate to Debug Settings , select Game , and then Package Installer to begin the process as detailed by ConsoleMods.
(Native Port): A popular project involved a native C-port of Super Mario 64
It sounds like you're looking for a about the concept of Super Mario on a PS4—specifically in the form of a PKG file (the installable package format for PlayStation 4 games).