diff options
| author | Robert Norton | 2017-04-25 12:17:20 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-25 16:32:17 +0100 |
| commit | 2f61214f174f8f2aee598431c130223750a0e9a9 (patch) | |
| tree | 6660f2f34635bf005006dc524e07fc0ba2081255 /mips/mips_extras_ml.ml | |
| parent | fbe1e61f3bff4b86543170676ce2181d493eb2d7 (diff) | |
support loading more than one raw file as anonymous arguments so that we can load simboot + kernel.
Diffstat (limited to 'mips/mips_extras_ml.ml')
0 files changed, 0 insertions, 0 deletions