finalize env

Author: yuk1i

docs/env/helloworld.md

@@ -6,7 +6,7 @@
 
 对于 Windows / macOS (arm64, Apple Silicon) 用户，我们推荐你使用 VMware 配置虚拟机，配合 VSCode / IDEA IntelliJ 的 SSH 远程开发。
 
-此外，我们还提供了以下方案。但是，我们并不为这些情况提供排错与技术支持。
+此外，我们还提供了以下方案，这些方案不需要安装虚拟机，更加轻量级。但是，我们并不为这些情况提供排错与技术支持。
 
 1. 使用 Windows WSL
 
@@ -24,9 +24,17 @@
 
 在安装完 VMware 后，你有两个选择：
 
-1. 你可以导入我们已经配置好的虚拟环境。参考 [导入 OVF](setup/wm-import.md)。
+1. 你可以导入我们已经配置好的虚拟环境。OVF 文件已上传至下载站中，解压后将 .ovf 文件拖至 VMware 中即可。macOS Apple Silicon 用户请选择 arm64 版本。
 
-2. 你可以选择从零安装 Linux 虚拟机，请安装 Debian stable，并参照 [手动环境配置](setup/manually-setup.md) 完成后续步骤。
+    !!!note
+        预配置的 VMware 镜像中，root密码为 123456，普通用户 cs323 的密码为 123456。
+
+2. 你可以选择从零安装 Linux 虚拟机，请安装 Debian 13（安装镜像可从南科大镜像站上下载 https://mirrors.sustech.edu.cn/）。并安装以下软件包：
+
+```sh
+$ sudo apt update
+$ sudo apt install openjdk-21-jdk llvm-19 clang-19 git make gzip flex bison
+```
 
 ### Windows WSL2 配置
 
@@ -38,4 +46,4 @@
 
 ## 配置开发工具
 
-最后，你需要配置 VSCode 开发工具并验证环境可用。参考 [配置开发工具](tools.md)
+我们建议你配置好 VSCode / IDEA IntelliJ 的 SSH 开发或 WSL 开发。

docs/env/index.md

@@ -0,0 +1,9 @@
+## macOS
+
+### 安装 Homebrew
+
+参考 [homebrew](https://brew.sh/)
+
+### 安装依赖
+
+TODO:

docs/env/old/macos.md

@@ -2,8 +2,19 @@
 
 **我们不对 WSL 环境下遇到的问题提供帮助。** 如果你遇到了一些问题，请考虑自行解决或切换为 VMware 虚拟环境。
 
-Windows WSL 可能会不适用于在 Linux 环境下刷写 VisionFive2 板子，我们可能会在后续实验提供文档支持。
+推荐环境为 WSL2 + Debian 13 (trixie)。如果你已经有一份 Ubuntu 的 WSL，理论上直接用 Ubuntu 的不会有任何问题。
 
-请使用 Ubuntu 24.04 或 Debian stable。
+指定安装 Debian:
 
-然后，请参考 [手动环境设置](../setup.md) 设置 gcc 工具链和 QEMU 模拟器。
+```shell
+wsl --install Debian
+```
+
+如何安装 WSL2 请参考 [微软教程](https://learn.microsoft.com/en-us/windows/wsl/install)，我们也向你推荐 WSL 的 [官方配置手册](https://learn.microsoft.com/en-us/windows/wsl/setup/environment)
+
+然后，使用包管理器 apt 安装依赖：
+
+```sh
+$ sudo apt update
+$ sudo apt install openjdk-21-jdk llvm-19 clang-19 git make gzip flex bison
+```

docs/env/old/windows.md

@@ -31,12 +31,8 @@ nav:
   - 环境配置:
     - 主页: env/index.md
     - Linux VM 搭建:
-      - 导入 OVF: env/setup/vm-import.md
       - Windows WSL: env/setup/wsl.md
       - macOS 原生环境: env/setup/macos-native.md
-      - 手动环境配置: env/setup/manually-setup.md
-    - VSCode 远程配置: env/tools.md
-    - 验证环境: env/helloworld.md
   # - Antlr:
   #   - 简介: antlr/index.md
   #   - 安装Antlr: antlr/install.md