Repository navigation
openkal-image 0.3.0
openkal 0.21: an image's instructions and read-only data mapped from its file.
- okld maps each segment that is not writable, holds as many bytes of the file as of memory, is congruent with its file offset modulo 64 KiB and shares no granule with another segment from the image's file (
okld_host::map, openkal'skal_exec_map_part), where the environment declaresKAL_EXEC_PROP_FILE; the other segments are copied as before. A language server's 54 MB of instructions and 14 000 page faults before its first instruction become the pages it touches. - Each relocation writes a writable segment, or the image is refused (SPEC 12.2: no text relocation).
- okrun keeps the image's file open while the program runs.
- openkal 0.21.0; openkal-linux 0.22.0, openkal-macos 0.19.0, openkal-windows 0.17.0 (which copies:
KAL_EXEC_PROP_FILEis not claimed).
The okld/okrun binaries are attached by release-binaries.yml over openkal-platform 0.21.0.