存储/分区 on Haifei's Home

给 Linux 增加 swapfile

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

Xilinx 的工具链也太占内存了，有时候会导致系统死机。。毕竟我这个小破本才 8G 内存。没办法，只能加虚拟内存了。

增加了 swapfile 之后就好很多了：

1
2
3
4


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

在 Linux 中给 SD 卡分区并创建文件系统

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

为了在 Linux 中给 SD 卡分区和格式化，先将 SD 卡接入 PC，然后在 bash 命令行使用 fdisk 给 SD 卡分区，最后使用 mkfs 给 SD 卡创建文件系统（即格式化）。

主要命令如下：

首先，使用 sudo fdisk -l 确认 SD 卡对应 /dev 中的哪一个设备。

在 Windows 中挂载 EFI 分区的方法

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

为了在 Windows 中挂载 EFI 分区，我们可以在 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

然后我们就将 EFI 挂载为盘符为 Z 的盘了。