Storage/Partition on Haifei's Home

Increasing the swapfile for Linux

hfwang132@gmail.com (hfwang132) — Mon, 12 Jun 2023 22:59:26 +0800

Xilinx’s toolchain consumes soooo much memory! Sometimes it causes the system to freeze… After all, my laptop only has 8GB of RAM. So there’s no other choice but to add virtual memories.

After increase the swapfile, the system performance has improved a lot:

1
2
3
4


sudo swapoff /swapfile
sudo dd if=/dev/zero of=/swapfile bs=1M count=16384
sudo mkswap /swapfile
sudo swapon /swapfile

Partitioning and formatting SD cards on Linux

hfwang132@gmail.com (hfwang132) — Mon, 12 Jun 2023 22:43:36 +0800

To partition and format an SD card in Linux, follow these steps: First, connect the SD card to your PC. Then, use the fdisk command in the bash command line to partition the SD card. Finally, use the mkfs command to create a file system (format) on the SD card.

The main commands are as follows:

First, use sudo fdisk -l to confirm which device in /dev corresponds to the SD card.

Mounting the EFI partition in Windows OS

hfwang132@gmail.com (hfwang132) — Mon, 12 Jun 2023 22:26:16 +0800

To mount the EFI partitions, run the following commands in PowerShell:

1
2
3
4
5
6


diskpart
list disk # make sure which is the disk that contains the EFI partition. usually 0
select disk 0
list partition # make sure which is the EFI partition. normally 0
select disk 0
assign letter=z

Then we will mount the EFI partition as drive Z.

This operation may be useful when using a dual-boot system with Windows and Ubuntu: Sometimes, after removing the Ubuntu system, only the Windows system remains, but the GRUB interface still appears every time the computer boots. In this case, you need to delete the old Ubuntu EFI partition.