A method for publishing multiple executable binary images (26, 28, 42) from firmware in an electronic device to an operating system in the electronic device, the method comprising: during booting of the electronic device, the steps of: installing a first executable binary image, which is stored in the firmware, into a configuration table in the electronic device, either by installing a copy of the first executable binary image into the configuration table or by installing an address pointing to the first executable binary image into the configuration table; installing a second executable binary image, which is stored in the firmware, into a second configuration table, either by installing a copy of the second executable binary image into the second configuration table or by installing an address pointing to the second executable binary image into the second configuration table; installing of a third executable binary image, which is stored in the firmware, into the second configuration table, either by installing a copy of the third executable binary image into the second configuration table or by installing an address pointing to the third executable binary image into the second configuration table, and saving a copy of the first executable binary image in a file system of the operating system; and after the operating system has started loading, the step of executing the copy of the first executable binary image to: save a copy of the second executable binary image in the file system; and copy a third executable binary image from the configuration table to the file system. during booting of the electronic device, the steps of: installing a first executable binary image, which is stored in the firmware, into a configuration table in the electronic device, either by installing a copy of the first executable binary image into the configuration table or by installing an address pointing to the first executable binary image into the configuration table; installing a second executable binary image, which is stored in the firmware, into a second configuration table, either by installing a copy of the second executable binary image into the second configuration table or by installing an address pointing to the second executable binary image into the second configuration table; installing of a third executable binary image, which is stored in the firmware, into the second configuration table, either by installing a copy of the third executable binary image into the second configuration table or by installing an address pointing to the third executable binary image into the second configuration table, and saving a copy of the first executable binary image in a file system of the operating system; and installing a first executable binary image, which is stored in the firmware, into a configuration table in the electronic device, either by installing a copy of the first executable binary image into the configuration table or by installing an address pointing to the first executable binary image into the configuration table; installing a second executable binary image, which is stored in the firmware, into a second configuration table, either by installing a copy of the second executable binary image into the second configuration table or by installing an address pointing to the second executable binary image into the second configuration table; installing of a third executable binary image, which is stored in the firmware, into the second configuration table, either by installing a copy of the third executable binary image into the second configuration table or by installing an address pointing to the third executable binary image into the second configuration table, and saving a copy of the first executable binary image in a file system of the operating system; and after the operating system has started loading, the step of executing the copy of the first executable binary image to: save a copy of the second executable binary image in the file system; and copy a third executable binary image from the configuration table to the file system. save a copy of the second executable binary image in the file system; and copy a third executable binary image from the configuration table to the file system.