diff options
| author | Robert Norton | 2017-04-25 16:27:59 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-25 16:32:18 +0100 |
| commit | b786ae1846cff852919a696f09a4afa393943b9a (patch) | |
| tree | e45e2ecbf6ba0b5a2afc7b958e88bb734d9c2ba2 /src/sail_lib.ml | |
| parent | caf4a8f85c5b4a217f72d51dbad4dd95c0801881 (diff) | |
replace memory representation with map of 1MB pages rather than map of bytes. This makes loading binaries much quicker but doesn't seem to make a big difference to execution speed.
Diffstat (limited to 'src/sail_lib.ml')
0 files changed, 0 insertions, 0 deletions