I just noticed that the Corellium instructions for installing Linux include doing just that from "downloads.corellium.info". Visiting http://corellium.info/ gives a GoDaddy parking page. That's a bit... janky.
I just noticed that the Corellium instructions for installing Linux include doing just that from "downloads.corellium.info". Visiting http://corellium.info/ gives a GoDaddy parking page. That's a bit... janky.
- It requires cannibalizing an existing macOS installation, replacing its kernel with the u-boot. Assuming you don’t want to replace your primary macOS installation, you’ll have to partition your disk and install another macOS, which takes a couple hours and wastes about 70GB of disk space.
- It can only boot from USB, since no Linux partition is set up. (This isn’t much of an issue right now because the M1 SSD controller has not yet been reverse-engineered, but it will be soon.)
The Asahi Linux project has a more detailed set of instructions for project developers to set up a debugging environment, following roughly the same steps. [0] However, they are in the process of replace this with a ‘curl | sh’-style install script [1] in order to simplify the process for end users. The install script will create and setup the boot partition itself instead of requiring a secondary macOS installation, so it will be much faster and not waste disk space. Doing this requires manually creating several disk partitions for the macOS bootloader, downloading a firmware image from Apple, and copying a bunch of firmware blobs into the right places across those partitions, so it’s not really suited for a manual install.
Note also that Corellium’s implementation was more of a proof-of-concept than something designed for long-term use. If you want to see “how Linux does things” you should be looking at the Asahi project, which is being upstreamed into mainline Linux and is already much further along in development than Corellium’s demo.
[0]: https://github.com/AsahiLinux/docs/wiki/Developer-Quickstart...
It has been. Supported in the Corellium tree today and in a tree somewhere for Asahi, on its way to mainline
https://github.com/AsahiLinux/docs/wiki/Developer-Quickstart