how do you launch it?

[grabercn]

there is not .3dsx file? how do you open it?

[khang06]

You build it.

[ghost]

Here's a compiled version: https://www.dropbox.com/s/eaksca3ojgjhfqs/portal3DS.zip?dl=0

[ToeRubs]

how would you build it, though? (for future reference)

[khang06]

It's pretty ancient, you need an old ctrulib, some old ninjhax file, etc...

[ghost]

You can build it by cloning the file, opening Terminal, cd ing to the directory, then type make. This will make a 3dsx file.

[khang06]

@TheLukeGuy Gotta downgrade that ctrulib, get aemstro and so on and so forth first...

[ghost]

True.