1. Home
  2. /
  3. Products
  4. /
  5. Secure-K Personal
  6. /
  7. Setup instructions

Secure-K Lite – Write instructions


Here you can find the instructions about how to write the operating system .img file to a USB key (8GB minimum sized) suitable for booting a PC or Mac computer. Secure-K OS is compatible with most computers and it can run i386 and x86 machines, both with BIOS and UEFI Secure Boot firmwares.

After having extracted the .img file from the downloaded ZIP archive (you can now check its sha256 hash as well), just follow your operating system-specific directions below. A USB 3.0 key and capable computer is highly recommended.

Microsoft Windows

Windows operating system’s users can write the image to their USB key by the use of Win32DiskImager program; you can download it from SourceForge.


Plug the key into your computer and launch Win32DiskImager; now load the Secure-K .img file image and write it to the USB key – double check that the letter of the device selected corresponds with that assigned to the USB key. Press the Write button for starting the write process.


Please note that it is not rare that the latest build of Windows 10 (Creators Update) gives permission/write errors when dealing with already multi-partitioned USB devices. Don’t worry, it’s just Windows: retry until success.

Apple OS X

Being a UNIX-like operating system, OS X users can make use of dd as the Linux people; run all the following commands in the
terminal (Applications, Utilities, Terminal):

  • plug the USB key into your computer running OS X (any version);
  • use diskutil list for locating the USB key’s device file. Your terminal output will look something like this:
    0: GUID_partition_scheme *500.1 GB disk0
    1: EFI 209.7 MB disk0s1
    2: Apple_HFS Macintosh HD 499.8 GB disk0s2
    0: FDisk_partition_scheme *8.0 GB disk1
    1: DOS_FAT_32 USB 8.0 GB disk1s1

    “disk0” being your machine’s harddrive and “diskX” being your USB drive. Be sure you know what disk is the right one: eject the disk properly, run the command again, and see which disk is not showing now, but was showing earlier. The missing one is your USB drive.
  • plug again the USB key into your computer;
  • now unmount the USB with the following command: diskutil unmountDisk /dev/diskX;
  • finally wtite the image: dd if=path/to/imageFile.img of=/dev/deskX.


Linux users can make use of dd; run all the following commands as root or with sudo in a terminal emulator:

  • plug the USB key into your computer running a Linux-based OS;
  • use fdisk -l for locating the USB key’s device file, for example: /dev/sdx (change for your case);
  • unmount the auto-mounted devices, if any (umount /dev/sdxN);
  • finally wtite the image: dd if=/path/to/imageFile.img of=/dev/sdx;
  • please note that dd always refers to the whole disk, so do not use /dev/sdx1 but /dev/sdx, as an example.

First boot

Once you have successfully written the image file to the USB key, plug the key into a computer and restart it by booting from the USB port.

Detailed instructions on the boot procedure are available on our Secure-K Boot Wiki.