From 5e6c4365aaf2e76831d5ad9f6d5ed38029b32101 Mon Sep 17 00:00:00 2001 From: Zhiyuan Shao Date: Wed, 21 Oct 2020 20:21:46 +0800 Subject: [PATCH] add chapter2 --- README.md | 2 +- chapter2.md | 568 ++++++++++++++++++++++++++++++++++++++++++++ pictures/fig2_1.png | Bin 0 -> 8074 bytes pictures/fig2_2.png | Bin 0 -> 20810 bytes 4 files changed, 569 insertions(+), 1 deletion(-) create mode 100644 chapter2.md create mode 100644 pictures/fig2_1.png create mode 100644 pictures/fig2_2.png diff --git a/README.md b/README.md index a7f3bc4..4dab243 100644 --- a/README.md +++ b/README.md @@ -6,7 +6,7 @@ [第一章. RISC-V体系结构](chapter1.md) -第二章. （实验1）非法指令的截获 +[第二章. （实验1）非法指令的截获](chapter2.md) 第三章. diff --git a/chapter2.md b/chapter2.md new file mode 100644 index 0000000..9e13c4a --- /dev/null +++ b/chapter2.md @@ -0,0 +1,568 @@ +## 第二章．（实验1）非法指令的截获 + +### 2.1 实验环境搭建 + +实验环境我们推荐采用Ubuntu 16.04LTS或18.04LTS（x86_64）操作系统，我们未在其他系统（如arch，RHEL等）上做过测试，但理论上只要将实验中所涉及到的安装包替换成其他系统中的等效软件包，就可完成同样效果。另外，我们在EduCoder实验平台（网址：https://www.educoder.net）上创建了本书的同步课程，课程的终端环境中已完成实验所需软件工具的安装，所以如果读者是在EduCoder平台上选择的本课程，则可跳过本节的实验环境搭建过程，直接进入通过终端（命令行）进入实验环境。 + +PKE实验涉及到的软件工具有：RISC-V交叉编译器、spike模拟器，以及PKE源代码三个部分。假设读者拥有了Ubuntu 16.04LTS或18.04LTS（x86_64）操作系统的环境，以下分别介绍这三个部分的安装以及安装后的检验过程。需要说明的是，为了避免耗时耗资源的构建（build）过程，一个可能的方案是将RISC-V交叉编译器以及spike模拟器的安装目录打包，拷贝到新的环境中使用。然而不幸的是，RISC-V交叉编译器的版本与host上的GCC版本有一定的关联关系。例如，以我们的经验，如果host上的GCC的版本是7.5.0，它支持的RISC-V交叉编译器版本就是9.2.0；但是，如果host上的GCC版本是较低版本（如5.4.0），则其对应的RISC-V交叉编译器版本就会是8.1.0。在采用高版本的GCC（例如7.5.0）环境下，使用低版本的RISC-V交叉编译器（如8.1.0），会导致一些未知问题，如程序执行时的挂起等。所以，**我们强烈建议读者在新装环境中完整构建（build）RISC-V交叉编译器，以及spike模拟器**。如果强调环境的可移植性，可以考虑在虚拟机中安装完整系统和环境，之后将虚拟机进行克隆和迁移。 + +#### 2.1.1 RISC-V交叉编译器 + +RISC-V交叉编译器是与Linux自带的GCC编译器类似的一套工具软件集合，不同的是，x86_64平台上Linux自带的GCC编译器会将源代码编译、链接成为适合在x86_64平台上运行的二进制代码（称为native code），而RISC-V交叉编译器则会将源代码编译、链接成为在RISC-V平台上运行的代码。后者（RISC-V交叉编译器生成的二进制代码）是无法在x86_64平台（即x86_64架构的Ubuntu环境下）直接运行的，它的运行需要模拟器（我们采用的spike）的支持。 + +一般情况下，我们称x86_64架构的Ubuntu环境为host，而在host上执行spike后所虚拟出来的RISC-V环境，则被称为target。RISC-V交叉编译器的构建（build）、安装过程如下： + +● 第一步，安装依赖库 + +RISC-V交叉编译器的构建需要一些本地支撑软件包，可使用以下命令安装： + +`$ sudo apt-get install autoconf automake autotools-dev curl libmpc-dev libmpfr-dev libgmp-dev gawk build-essential bison flex texinfo gperf libtool patchutils bc zlib1g-dev libexpat-dev` + +● 第二步，获取RISC-V交叉编译器的源代码 + +有两种方式获得RISC-V交叉编译器的源代码：一种是通过源代码仓库获取，使用以下命令： + +`$ git clone --recursive https://github.com/riscv/riscv-gnu-toolchain.git` + +但由于RISC-V交叉编译器的仓库包含了Qemu模拟器的代码，下载后的目录占用的磁盘空间大小约为13GB，整体下载所需的时间较长。另一种方式是通过百度云盘，获取源代码压缩包，链接和提取码如下： + +`链接: https://pan.baidu.com/s/1cMGt0zWhRidnw7vNUGcZhg 提取码: qbjh` + +从百度云盘下载riscv-gnu-toolchain.tar.zip.001和riscv-gnu-toolchain.tar.zip.002两个文件，解压zip文件后获得riscv-gnu-toolchain.tar.gz文件（大小约为4.8GB），再在Ubuntu环境下解压这个.tar.gz文件，采用如下命令行： + +`$ tar xf riscv-gnu-toolchain.tar.gz` + +之后就能够看到和进入当前目录下的riscv-gnu-toolchain文件夹了。 + +● 第三步，构建（build）RISC-V交叉编译器 + +`$ cd riscv-gnu-toolchain` + +`$ ./configure --prefix=[your.RISCV.install.path]` + +`$ make` + +`$ make install` + +以上命令中，[your.RISCV.install.path]指向的是你的RISC-V交叉编译器安装目录。如果安装是你home目录下的一个子目录（如~/riscv-install-dir），则最后的make install无需sudoer权限。但如果安装目录是系统目录（如/opt/ riscv-install-dir），则需要sudoer权限（即在make install命令前加上sudo）。 + +● 第四步，设置环境变量 + +`$ export RISCV=[your.RISCV.install.path]` + +`$ export PATH=$PATH:$RISCV/bin` + +以上命令设置了RISCV环境变量，指向在第三步中的安装目录，并且将交叉编译器的可执行文件所在的目录加入到了系统路径中。这样，我们就可以在PKE的工作目录调用RISC-V交叉编译器所包含的工具软件了。这时，你也可以在任意目录编写helloworld.c文件，并使用以下命令测试下安装是否成功： + +`$ riscv64-unknown-elf-gcc helloworld.c -o helloworld` + +若编译成功，当前的目录下会出现名为helloworld的elf文件。 + +#### 2.1.2 spike模拟器 + +接下来，安装spkie模拟器。首先取得spike的源代码，有两个途径：一个是从github代码仓库中获取： + +`$ git clone https://github.com/riscv/riscv-isa-sim.git` + +也可以从百度云盘中下载spike-riscv-isa-sim.tar.gz文件（约4.2MB），然后用tar命令解压缩。百度云盘的地址，以及tar命令解压缩可以参考2.1.1节RISC-V交叉编译器的安装过程。获得spike源代码或解压后，将在本地目录看到一个riscv-isa-sim目录。 + +接下来构建（build）spike，并安装： + +`$ cd riscv-isa-sim` + +`$ ./configure --prefix=$RISCV` + +`$ make` + +`$ make install` + +在以上命令中，我们假设RISCV环境变量已经指向了RISC-V交叉编译器的安装目录。如果未建立关联，可以将$RISCV替换为2.1.1节中的[your.RISCV.install.path]。 + +#### 2.1.3 PKE + +到码云（gitee）上下载课程仓库： + +`$ git clone https://gitee.com/syivester/pke.git` + +克隆完成后，将在当前目录看到pke目录。这时，可以到pke目录下查看pke的代码结构，例如： + +`$ cd pke` + +`$ ls` + +你可以看到当前目录下有如下（部分）内容 + +. + +├── app + +├── gradelib.py + +├── machine + +├── Makefile + +├── pk + +├── pke-lab1 + +├── pke.lds + +└── util + +● 首先是app目录，里面存放的是实验的测试用例，也就是运行在User模式的应用程序，例如之前helloworld.c。 + +● gradelib.py、与pke-lab1是测试用的python脚本。 + +● machine目录，里面存放的是机器模式相关的代码，由于本课程的重点在于操作系统，在这里你可以无需详细研究。 + +● Makefile文件，它定义的整个工程的编译规则。 + +● pke.lds是工程的链接文件。 + +● util目录下是各模块会用到的工具函数。 + +● pk目录，里面存放的是pke的主要代码。 + +即使未开始做PKE的实验，我们的pke代码也是可构建的，可以采用以下命令（在pke目录下）生成pke代理内核： + +`$ make` + +以上命令完成后，会在当前目录下会生产obj子目录，里面就包含了我们的pke代理内核。pke代理内核的构建过程，将在2.2节中详细讨论。 + +#### 2.1.4 环境测试 + +全部安装完毕后，你可以对环境进行测试，在pke目录下输入： + +`$ spike ./obj/pke ./app/elf/app1_2` + +将得到如下输出： + +``` +PKE IS RUNNING +user mode test illegal instruction! +you need add your code! +``` + +以上命令的作用是首先采用spike模拟一个RISC-V机器，该机器支持RV64G指令集，并在该机器上运行./app/elf/app1_2应用（它的源代码在./app/app1_2.c中）。我们知道，应用是无法在“裸机”上运行的，所以测试命令使用./obj/pke作为应用的代理内核。代理内核的作用，是对spike模拟出来的RISC-V机器做简单的“包装”，使其能够在spike模拟出来的机器上顺利运行。 + +这里，代理内核的作用是只为特定的应用服务（如本例中的./app/elf/app1_2应用），所以可以做到“看菜吃饭”的效果。因为我们这里的应用非常简单，所以pke就可以做得极其精简，它没有文件系统、没有物理内存管理、没有进程调度、没有操作终端（shell）等等传统的完整操作系统“必须”具有的组件。在后续的实验中，我们将不断提升应用的复杂度，并不断完善代理内核。通过这个过程，读者将深刻体会操作系统内核对应用支持的机制，以及具体的实现细节。 + + + +### 2.2 实验内容 + +实验要求：在用户模式（APP）里调用非法指令（如S或M级别的指令），或进行非法内存访问，导致系统报错。如illegal instruction，或者内存访问越界报警。 + +注意：以后的实验，要基于本实验，使得代理内核能够捕捉非法指令和内存访问。 + +**2.2.1 练习一：hello world** + + 首先进入app目录下。我们先来编写一个简单的hello world程序，我们编写hellowrold.c源文件如下： + +``` + 1 #include + 2 int global_init=1; + 3 int global_uninit; + 4 int main(){ + 5 int tmp; + 6 printf("hello world!\n"); + 7 return 0; + 8 } +``` + +例2.1 hellowrold.c + +使用riscv64-unknown-elf-gcc编译该文件，得到的ELF文件hellowrold。 + +`$riscv64-unknown-elf-gcc hellowrold.c -o elf/hellowrold` + + 现在回到上一级目录，使用pke来运行二进制文件： + +`$spike obj/pke app/elf/ hellowrold` + +​ 你可以得到以下输出： + +``` +PKE IS RUNNING +hello world! +``` + +**2.2.2 练习二：中断入口探寻** + +CPU 运行到一些情况下会产生异常（exception） ，例如访问无效的内存地址、执行非法指令（除零）、发生缺页等。用户程序进行系统调用（syscall） ，或程序运行到断点（breakpoint） 时，也会主动触发异常。 + +当发生中断或异常时，CPU 会立即跳转到一个预先设置好的地址，执行中断处理程序，最后恢复原程序的执行。这个地址。我们称为中断入口地址。在RISC-V中，设有专门的CSR寄存器保存这个地址，即stvec寄存器。 + +下面，请你阅读pk.c文件，找出pk中设置中断入口函数的位置。 + + + +**2.2.3 练习三：中断过程详究** + +中断的处理过程可以分为3步骤： + +- 保存当前环境寄存器 +- 进入具体的中断异常处理函数 +- 恢复中断异常前环境的寄存器 + +pk中使用trapframe_t结构体（pk.h）来保存中断发生时常用的32个寄存器及部分特殊寄存器的值，其结构如下。 + +``` +typedef struct +{ + long gpr[32]; + long status; + long epc; + long badvaddr; + long cause; + long insn; +} trapframe_t; +``` + +下面，请阅读entry.S,详细分析同上述三个过程相对应的代码。 + +**2.2.4 练习四：中断的具体处理（需要编程）** + +当中断异常发生后，中断帧将会被传递给handlers.c中的handle_trap函数。接着，通过trapframe中的scause寄存器的值可以判断属于哪种中断异常，从而选择相对应的中断处理函数。 + +在pk/handlers.c中的各种中断处理函数的实现，其中segfault段错误的处理函数与illegal_instruction的处理函数并不完善。请你在pk/handlers.c中找到并完善segfault与handle_illegal_instruction两个函数。 + +提示： + +当完成你的segfault代码后,重新make，然后输入如下命令： + +`$riscv64-unknown-elf-gcc ../app/app1_1.c -o ../app/elf/app1_1` + +`$spike ./obj/pke app/elf/app1_1` + +预期的输出如下： + +``` +PKE IS RUNNING +APP: addr_u 0x7f7ecc00 +APP: addr_m 0x8f000000 +z 0000000000000000 ra 0000000000010192 sp 000000007f7ecb30 gp 000000000001da10 +tp 0000000000000000 t0 0000000000000000 t1 000000007f7ec9f0 t2 0000219000080017 +s0 000000007f7ecb50 s1 0000000000000000 a0 0000000000000017 a1 000000000001e220 +a2 0000000000000017 a3 0000000000000000 a4 0000000000000001 a5 000000008f000000 +a6 8080808080808080 a7 0000000000000040 s2 0000000000000000 s3 0000000000000000 +s4 0000000000000000 s5 0000000000000000 s6 0000000000000000 s7 0000000000000000 +s8 0000000000000000 s9 0000000000000000 sA 0000000000000000 sB 0000000000000000 +t3 0000000000000000 t4 0000000000000078 t5 0000000000000000 t6 0000000000000000 +pc 0000000000010198 va 000000008f000000 insn ffffffff sr 8000000200046020 +User store segfault @ 0x000000008f000000 +``` + +接着，当你完成handle_illegal_instruction函数后，输入如下命令： + +`$ riscv64-unknown-elf-gcc ../app/app1_2.c -o ../app/elf/app1_2` + +`$ spike ./obj/pke app/elf/app1_2` + +预期的输出如下： + +``` +PKE IS RUNNING +user mode test illegal instruction! +z 0000000000000000 ra 0000000000010162 sp 000000007f7ecb40 gp 0000000000013de8 +tp 0000000000000000 t0 8805000503e80001 t1 0000000000000007 t2 0000219000080017 +s0 000000007f7ecb50 s1 0000000000000000 a0 000000000000000a a1 0000000000014600 +a2 0000000000000024 a3 0000000000000000 a4 0000000000000000 a5 0000000000000001 +a6 0000000000000003 a7 0000000000000040 s2 0000000000000000 s3 0000000000000000 +s4 0000000000000000 s5 0000000000000000 s6 0000000000000000 s7 0000000000000000 +s8 0000000000000000 s9 0000000000000000 sA 0000000000000000 sB 0000000000000000 +t3 0000000000000000 t4 000000005f195e48 t5 0000000000000000 t6 0000000000000000 +pc 0000000000010162 va 0000000014005073 insn 14005073 sr 8000000200046020 +An illegal instruction was executed! +``` + +如果你的两个测试app都可以正确输出的话，那么运行检查的python脚本： + +`$./pke-lab1` + +若得到如下输出，那么恭喜你，你已经成功完成了实验一！！！ + +``` +build pk : OK +running app1 : OK + test1 : OK +running app2 : OK + test2 : OK +Score: 30/30 +``` + + + +### 2.2 基础知识 + +**2.2.1 程序编译连接与ELF文件** + +ELF的全称为Executable and Linkable Format，是一种可执行二进制文件。 + +在这里，我们仅仅之需要简单的了解一下ELF文件的基本组成原理，以便之后能够很好的理解内核可执行文件以及其它的一些ELF文件加载到内存的过程。首先，ELF文件可以分为这样几个部分：ELF文件头、程序头表（program header table）、节头表（section header table）和文件内容。而其中文件内容部分又可以分为这样的几个节：.text节、.rodata节、.stab节、.stabstr节、.data节、.bss节、.comment节。如果我们把ELF文件看做是一个连续顺序存放的数据块，则下图可以表明这样的一个文件的结构。 + + fig2_1 + +图2.1 ELF文件结构 + +从图2.1中可以看出ELF文件中需要读到内存的部分都集中在文件的中间，下面我们首先就介绍一下中间的这几个节的具体含义： + +l .text节：可执行指令的部分。 + +l .rodata节：只读全局变量部分。 + +l .stab节：符号表部分。 + +l .stabstr节：符号表字符串部分，具体的也会在第三章做详细的介绍。 + +l .data节：可读可写的全局变量部分。 + +l .bss节：未初始化的全局变量部分，这一部分不会在磁盘有存储空间，因为这些变量并没有被初始化，因此全部默认为0，于是在将这节装入到内存的时候程序需要为其分配相应大小的初始值为0的内存空间。 + +l .comment节：注释部分，这一部分不会被加载到内存。 + +结合刚才的hellowrold.c文件分析，global_init作为初始化之后的全局变量, 存储在.data段中，而global_uninit作为为初始化的全局变量，存储在.bss段。函数中的临时变量tmp则不会被存储在ELF文件的数据段中。 + +在pke中，ELF文件头结构的定义如下： + +``` +typedef struct { + uint8_t e_ident[16]; //ELF文件标识，包含用以表示ELF文件的字符 + uint16_t e_type; //文件类型 + uint16_t e_machine; //体系结构信息 + uint32_t e_version; //版本信息 + uint64_t e_entry; //程序入口点 + uint64_t e_phoff; //程序头表偏移量 + uint64_t e_shoff; //节头表偏移量 + uint32_t e_flags; //处理器特定标志 + uint16_t e_ehsize; //文件头长度 + uint16_t e_phentsize; //程序头部长度 + uint16_t e_phnum; //程序头部个数 + uint16_t e_shentsize; //节头部长度 + uint16_t e_shnum; //节头部个数 + uint16_t e_shstrndx; //节头部字符索引 +} Elf64_Ehdr; +``` + +ELF文件头比较重要的几个结构体成员是e_entry、e_phoff、e_phnum、e_shoff、e_shnum。其中e_entry是可执行程序的入口地址，即从内存的这个闻之开始执行，在这里入口地址是虚拟地址，也就是链接地址；e_phoff和e_phnum可以用来找到所有的程序头表项，e_phoff是程序头表的第一项相对于ELF文件的开始位置的偏移，而e_phnum则是表项的个数；同理e_ shoff和e_ shnum可以用来找到所有的节头表项。 + +以例1.1为例，我们可以使用riscv64-unknown-elf-objdump工具，查看该ELF文件。 + +首先，使用-x选项查看显示整体的头部内容。 + +`$riscv64-unknown-elf-objdump -x hellowrold >> helloworld.txt` + +​ 得到的输入文件helloworld.txt的主要内容如下： + +``` +hellowrold: file format elf64-littleriscv +architecture: riscv:rv64, flags 0x00000112: +EXEC_P, HAS_SYMS, D_PAGED +start address 0x00000000000100c2 + +Program Header: + LOAD off 0x0000000000000000 vaddr 0x0000000000010000 paddr 0x0000000000010000 align 2**12 filesz 0x000000000000258a memsz 0x000000000000258a flags r-x + LOAD off 0x000000000000258c vaddr 0x000000000001358c paddr 0x000000000001358c align 2**12 filesz 0x0000000000000fb4 memsz 0x000000000000103c flags rw- +hellowrold: file format elf64-littleriscv + +Sections: +Idx Name Size VMA LMA File off Algn + 0 .text 000024cc 00000000000100b0 00000000000100b0 000000b0 2**1 + CONTENTS, ALLOC, LOAD, READONLY, CODE + 1 .rodata 0000000a 0000000000012580 0000000000012580 00002580 2**3 + CONTENTS, ALLOC, LOAD, READONLY, DATA + 2 .eh_frame 00000004 000000000001358c 000000000001358c 0000258c 2**2 + CONTENTS, ALLOC, LOAD, DATA + 3 .init_array 00000010 0000000000013590 0000000000013590 00002590 2**3 + CONTENTS, ALLOC, LOAD, DATA + 4 .fini_array 00000008 00000000000135a0 00000000000135a0 000025a0 2**3 + CONTENTS, ALLOC, LOAD, DATA + 5 .data 00000f58 00000000000135a8 00000000000135a8 000025a8 2**3 + CONTENTS, ALLOC, LOAD, DATA + 6 .sdata 00000040 0000000000014500 0000000000014500 00003500 2**3 + CONTENTS, ALLOC, LOAD, DATA + 7 .sbss 00000020 0000000000014540 0000000000014540 00003540 2**3 + ALLOC + 8 .bss 00000068 0000000000014560 0000000000014560 00003540 2**3 + ALLOC + 9 .comment 00000011 0000000000000000 0000000000000000 00003540 2**0 + CONTENTS, READONLY + 10 .riscv.attributes 00000035 0000000000000000 0000000000000000 00003551 2**0 + CONTENTS, READONLY +``` + +可以看到，解析出来的文件结构与图2.1的结构相对应。其中值得注意的是，.bss节与.comment节在文件中的偏移是一样的，这就说明.bss在硬盘中式不占用空间的，仅仅只是记载了它的长度。 + +Program Header：程序头表实际上是将文件的内容分成了好几个段，而每个表项就代表了一个段，这里的段是不同于之前节的概念，有可能就是同时几个节包含在同一个段里。程序头表项的数据结构如下所示： + +``` +typedef struct { + uint32_t p_type; //段类型 + uint32_t p_flags; //段标志 + uint64_t p_offset; //段相对于文件开始处的偏移量 + uint64_t p_vaddr; //段在内存中地址（虚拟地址） + uint64_t p_paddr; //段的物理地址 + uint64_t p_filesz; //段在文件中的长度 + uint64_t p_memsz; //段在内存中的长度 + uint64_t p_align; //段在内存中的对齐标志 +} Elf64_Phdr; +``` + +下面我们通过一个图来看看用ELF文件头与程序头表项如何找到文件的第i段。 + + fig2_2 + +图2.2 找到文件第i段的过程 + +Sections：而另一个节头表的功能则是让程序能够找到特定的某一节，其中节头表项的数据结构如下所示： + +``` +typedef struct { + uint32_t sh_name; //节名称 + uint32_t sh_type; //节类型 + uint64_t sh_flags; //节标志 + uint64_t sh_addr; //节在内存中的虚拟地址 + uint64_t sh_offset; //相对于文件首部的偏移 + uint64_t sh_size; //节大小 + uint32_t sh_link; //与其他节的关系 + uint32_t sh_info; //其他信息 + uint64_t sh_addralign; //字节对齐标志 + uint64_t sh_entsize; //表项大小 +} Elf64_Shdr; +``` + +而通过ELF文件头与节头表找到文件的某一节的方式和之前所说的找到某一段的方式是类似的。 + + + +**2.2.2** 代理内核与应用程序的加载 + +阅读pke.lds文件可以看到整个PK程序的入口为：reset_vector函数： + +``` +3 OUTPUT_ARCH( "riscv" ) +4 +5 ENTRY( reset_vector ) +``` + +我们在machine/mentry.S中找的这个符号。 + +``` +36 reset_vector: +37 j do_reset +``` + +首先初始化x0~x31共32个寄存器，其中x10（a0）寄存器与x11（a1）寄存器存储着从之前boot loader中传来的参数而不复位。 + +``` +223 do_reset: +224 li x1, 0 + ..... +255 li x31, 0 +``` + +将mscratch寄存器置0 + +``` +256 csrw mscratch, x0 +``` + +将trap_vector的地址写入t0寄存器，trap_vector是mechine模式下异常处理的入口地址。再将t0的值写入mtvec寄存器中。然后读取mtvec寄存器中的地址到t1寄存器。比较t0于t1。 + +``` +259 la t0, trap_vector +260 mtvec, t0 +261 rr t1, mtvec +262 1:bne t0, t1, 1b +``` + +正常情况下，t1自然是的等于t0的，于是程序顺序执行，将栈地址写入sp寄存器中 + +``` +264 la sp, stacks + RISCV_PGSIZE - MENTRY_FRAME_SIZE +``` + +读取mhartid到a3寄存器，调整sp + +``` +266 csrr a3, mhartid +267 slli a2, a3, RISCV_PGSHIFT +268 add sp, sp, a2 +``` + +当a3不等于0时，跳转到 init_first_hart + +``` +270 # Boot on the first hart +271 beqz a3, init_first_hart +``` + +此时进入"machine/minit.c"文件，在init_first_hart中对外设进行初始化 + +``` +154 void init_first_hart(uintptr_t hartid, uintptr_t dtb) +155 { + …… //初始化外设 +180 boot_loader(dtb); +181 } +``` + +在init_first_hart的最后一行，调用boot_loader函数 + +``` +160 void boot_loader(uintptr_t dtb) +161 { + ……. //CSR寄存器设置 +169 enter_supervisor_mode(rest_of_boot_loader, pk_vm_init(), 0); +170 } +``` + +​ 在boot_loader中，经历设置中断入口地址，清零sscratch寄存器，关中断等一系列操作后。最后会调用enter_supervisor_mode函数正式切换至Supervisor模式。 + +``` +204 void enter_supervisor_mode(void (*fn)(uintptr_t), uintptr_t arg0, uintptr_t arg1) +205 { +206 uintptr_t mstatus = read_csr(mstatus); +207 mstatus = INSERT_FIELD(mstatus, MSTATUS_MPP, PRV_S); +208 mstatus = INSERT_FIELD(mstatus, MSTATUS_MPIE, 0); +209 write_csr(mstatus, mstatus); +210 write_csr(mscratch, MACHINE_STACK_TOP() - MENTRY_FRAME_SIZE); +211 #ifndef __riscv_flen +212 uintptr_t *p_fcsr = MACHINE_STACK_TOP() - MENTRY_FRAME_SIZE; // the x0's save slot +213 *p_fcsr = 0; +214 #endif +215 write_csr(mepc, fn); +216 +217 register uintptr_t a0 asm ("a0") = arg0; +218 register uintptr_t a1 asm ("a1") = arg1; +219 asm volatile ("mret" : : "r" (a0), "r" (a1)); +220 __builtin_unreachable(); +221 } +``` + +​ 在enter_supervisor_mode函数中，将 mstatus的MPP域设置为1，表示中断发生之前的模式是Superior，将mstatus的MPIE域设置为0，表示中段发生前MIE的值为0。随机将机器模式的内核栈顶写入mscratch寄存器中，设置mepc为rest_of_boot_loader的地址，并将kernel_stack_top与0作为参数存入a0和a1。 + +​ 最后，执行mret指令，该指令执行时，程序从机器模式的异常返回，将程序计数器pc设置为mepc，即rest_of_boot_loader的地址；将特权级设置为mstatus寄存器的MPP域，即方才所设置的代表Superior的1，MPP设置为0；将mstatus寄存器的MIE域设置为MPIE，即方才所设置的表示中断关闭的0，MPIE设置为1。 + +​ 于是，当mret指令执行完毕，程序将从rest_of_boot_loader继续执行。 + +``` +144 static void rest_of_boot_loader(uintptr_t kstack_top) +145 { +146 arg_buf args; +147 size_t argc = parse_args(&args); +148 if (!argc) +149 panic("tell me what ELF to load!"); +150 +151 // load program named by argv[0] +152 long phdrs[128]; +153 current.phdr = (uintptr_t)phdrs; +154 current.phdr_size = sizeof(phdrs); +155 load_elf(args.argv[0], ¤t); +156 +157 run_loaded_program(argc, args.argv, kstack_top); +158 } +``` + +​ 这个函数中，我们对应用程序的ELF文件进行解析，并且最终运行应用程序。 \ No newline at end of file diff --git a/pictures/fig2_1.png b/pictures/fig2_1.png new file mode 100644 index 0000000000000000000000000000000000000000..a7dd4efe9d3a1262e135df9fac6a5cb29b436f11 GIT binary patch literal 8074 zcmb7pcT`i`-fdKhbfgGKlOh2G1Vm~8>79M(ND+ld5u^%)4hn`y6G9aTB29`QC{21N zRO!9<9zyRgo_p^7-uK46)_eQX~}^=#Ze^Z&+&16B4^bnZXnR@d%urs zYPy^l5QvpkO;JuC_H-+?Dsr)PC~!rBR6N1gwBq1KWUMhIo`UOa9F?V>1RWl?&~Pvn z;SF(G<-q6VOybUh-UOd-NC)*HZd}toV>>L;qbo5sSe*On;|aG|An_Qj-dA0*O4ZxU zbvt@b_u%RH#&*EfnT0_O?DG5}h#Q-Bb-uDab9H%?lU93tdBzI5yRz3?cf4V7#fv)M zjj}jDUbqix_d4mfeFFw%%n}8Xqd=?wY|s;$Zj$;dTw}Jj+6L~DqGN|>rhNE1j3>pb zXcldsoy)4F$i)cmAEfZ~v|wF#D=|Nh-l7IfN4Jdq{5-*VoD-fTsA`X%q431W=o>ra z;D8aQo;I!&MTpmzoJjD>I_4l<_A(T_m2?f5#@qZRC|z))t?iiGlS=k_*Iu)8E`>En zsO&hM2%z$qLv*w2vqY7Ak4g;gzo@OYiK6r%=9=%6v)kT(J10=5|N3$|>bta1g+&`{ z2$<-M0T7su*WDC#b@D)oH}-f&nfwTma^a1cn#SL*EM&>Agi&bRO8a;>AwN=K2erWy z_l{}liepx-5rq|qevV-YC^(%H|LLa5o&Ei>$nz1Y>hh-I_obVO^q&kD;CVG)f-BG; zP1-h9UIy?b^Xc7eO`9)WJg4?Qx(Ecb5Pf_lEp&A3%ayluJUVqLl|8gSOzhS-OnpMS ztD@D0lX|+*~vajFFYzY$6ll-L#7-tffUt3yr4poM@e? zam*r?%vN-2JCJ?R%~qB|S~Z)w9VfD48Y0N|7)5h`w^ zPNGfpcowjl=t}3bwGOdc*UKA*047J{{IHl3SwOwui1S5b5LK!RT86D6gFWwHv40Ux zqwOxy1FK*GyWheFt*jmeKZ8U+4&YxvG#K95svAlw+$#>7qU=~=usMsK=SRmTWWMaH z;-L`s@lX|&`H6mug&gP+0;EM*GR2Ac;$l!d?x{vXgwx3wJWWvKV$>gfPsQK!tL8WZ zOt_vGuzvO~TEPz`n8-<*sT|3JB7Jz(1o6W_L9bSb_rXuea0l zdP3%H5@yw!cZ(f4oP2GNGlW8h-j;R39H_2ysQ)@F2PUDFN;4=NQWj#~U7L>903UQ92y z@;o1J@vd?+>=Csg$}a3GEq>%YF0|?8ZJ8*fu6=Nq@qlt>oVrqr^y;=KgDKWth8BlT z3U7QmW47(KXlI@+37&9)w$nb&hglQfC#(GwKWY|84yi0??&iPG12^qtkM?GO{S7(y z8kDIAKmzS4LpbvZJCnURz$xgLi zE2(LIn1&r3C5(Miyfb9sB5l|bP-D)xht zcO&swlScKUJ;MOEjqhFN<>k&qRlZ%5?z>b_rO+jN<82Da+6Q;Wb9pcY;R2%OqAF{3 z{>8)%h0Y1GnY9-TvA%NO{5|0`Psmn@yQkps_LZs&s;x<+kmx>z+X@n>sJ2d>g4K{u z2bnanqN^nKX!IdmGf(dPRKdz+hmP3Z^rQ=;*aZ~X@_0I8?!PWJ_9H;;w|}KS%A^E_ zk-7Fl@gv_lUGk0xdYFLs=%H1t#fKoUblE{>?srBHRt8Nj0Y*CW?U!CgxfGL zz3o-rNGnGftz@n;k`||dN$G*OYI_!#rLEJ%AxoY4G%ZIet77^ApqFTn37kc;o(%F8R^SZrw*zNcWn5Us3yN8Iv|9=U9CujL37}oaN=Ys zg)WD+jKtI}SpOW731Nlcq)T=ALbm)&h<#$gWwoKDA%$%!k-{>AG*eSK$F6&7tH@4M zCg=Y2!~~wZ?=1+?sLLmEu2HNs^X+W!`6C`Yvvj<2FO!`!6W#hu0i{?yE~$#OlbB>i z=d(nMoINd>)<249>yd#(ciiqrXmanfB+a9bWh%jKmVJ$gJhhkM>ys;?W ztHf!3+o)N@0^dy9&}WEOIS+pPm<^}9nlw)jUO2nWFEf5N>7USgHGV(wcIO}6bV+G~ zF!sb*4+hm`gl3G#T7=&hD*xDTopFLL5WyK<8f@W{(M?+qH_wTT{XfQJa@U5mN}C4b z$x-y0N*ftDBBK&#d+N(qkZ*v~eEak_r_90)Gb z1a2rWpT~qEY`0XX*b9ek`h z3Xn>?_J0-kf4k3#0&!FUXZ26nk0%7R?X5i6-r3oyy*QlkoIZKdZ^{B<>P0cvp03}= z3Iqy$0YI-Yc#jGHu33E5R<@!QKbkzCOP?JGc9Qb%o}ZqNF4Q8{kaZ+PRd0oY?W)*! zIiE_*Y*Lq62A|BLO@p26V(#YK=e*K-C5t?4`$jCC$43B^rRM^j-eHl*G*QzOpAOh{ z`v#=eALHHpFFNetkmviORFE;y+DBJ>AUkzF^*fl z0-*}zwwDSO9T9qWM`A|m+?}V&IJI7SlHX}&?2g|Zh|fQ{w&_J~l$+{-k1A*r_3d;# zm$7$60}F>l=IdFsrRVf<<0Vb$NA#J#CK}VL8k!pUG;-SV=_M?XCjifq4HU}Xq)k-H0RJGhJ+8Y}fxe*b| z{j$k%X*nB)B?tmAM)HwAbURpwBe(ZF*BmTTf7~Oy)B2 zJKW3&e@Ww;dBF|fDH-Q+s-^0D zJ1jWn8y>{#PONm$*Lq}5P^x6IKDwUjZ{XABgDncU*f6R)J!oSMAO=b7)Ep((oi9D` zobfxFI@`G#R=oj|Nb|)$F&|kp2U*b@;4n$^?-zwq{Ic@rhm{a+>OR{~w77@Wj-9}YU4X_{?CdpA9=3@KI8VH(vgJXL7tGK!gUX!g1#B1K3-`tU|qN5{L$9ewZBFn3=)5h3oomoJSE5` z53w@2U@bwm&1|2~Ov2Yue1w29Lq0$(WK&+1y1>LYmM;D6L$V#}3p_j!+}VKCA%HM2 z*o;5kAF#Mcny&?G-xxx|2oFBovII1jm7`7=X4QhDE(M6;Y1%*T1fSe;CdvF&`cb<{rSOKTt~c48}HW~aOJNf3p@2Rn?aZ;w;a zOXIet$Io0pv9s%OcY9gQnUa|`DK%n~r8nFbS~dz@1=D9v6=Jz9N7z^2T!XBo?7^y+*=^3r^f+V5_bL5 zTkwC^VDTyj4a#g^y5;fK6$%v)0w|D2%kw&6&w2q(vtspi|S*kjsgm4(q>Ty?%WvtFmHvL)sMPkIjR@tVEmBq(EaRt3(YwyCw%+N7( z4m#w7C%vHBZ$KKff9fmaDV3JXh^aqV)>0;@5|V8GNJ%?6O>NgspC-DI^-;`#&w%HR zS+x9%d$5vsA|er@3#bYxpQK{Xv$EGJw0igO?96M;uPjts6AxAUjZTPIy`X5LCK@a$fej!!F!NjdyTBy${tw;l^ z!EAAC#Zx66*S0em%Tz_G%?#gQ!NanDLxfJ;CC@ShFDUupxb zjRR}-esq?EL3$@~_*<}4Lm{J~$mF856-L$H zg_R__JrbK2!$2>Ur2nMq>%eWxk>1);u!g|8OR0+JOp9**Kt1x_vC^{B2D&j!J97;P zkz<80WE4lx>}<2-olYJIcYO5sZ8FXG0*VKlQJR;jlS z&qVzBpkJ18H^ppJ&HEtWI)p)Sd*;GgT8DQ>(&}Eh#|-$3bTh$geQqBhlUdz&9G135 z7Xkj2H@?b7t13IZ*8|StRr>Hy?+cFX6f)Ufu)`*)6X=xSqxBIBMTwpgspsN?d!H|Z z2UZF&P&Sxwa2S@G2g~yzV-|sc`JC;1c2tVqKZ@*B_{ za^xcr7sunNWpf(95g!$PYn_m>qUQFf0!sD3fxKA9@uj_lb3FJR16>Q!GziRFmj8uh z(or;b5wUS(FZ#~qStM93LTKwV%=JD7dUFQ-^Q@SzyAmAYoTiiZ!~MJTH^- z2XCeg$<^9hr4~)Oyyl5xzV&v66=It+LvPMUeLb@ZRZOK}o^1UNwPr$p2wU4_Q1@nC~VvbKdt9JLO zS+UNq*3qgjb}&TNwPa#I{7_2lId+}$iY=WVGCtL>_H~VJtCnCViDnfaAk{+3MhCON zO73@{0*O(Z#K_~Ns2BfPw@Lysr>jRtM*%pnuk>1kg0GI-WT(AWY*>9UQn;|}a1(n>V0(E zI!&9Dl++-Reh=R5Z?aCS2xIO70cB0iFRGj|w9-6c*f@7M1zPz@rm-QrM{w^uUXprb zgiHQ#FV4@d9Ax&yccXB~cf~-hZhN^FTJH<;2rm+4w2985Tlp}}WdX)Jh+Ju1z}Vdf z_Z_X4z2|*03l0=BaHwz4#6TatN+`fdl0#{KAJk~AY++qgwL2`_#N)*OG5=+KgM!JQ z{LBmYx<}bOiZw-fQ`4+nzn zzg;s=9pH}!3w(WVX(T`9fcPwW0BvMbm_?V?BbO=ywdWsnS8WDT8;v@`Zvk9P!gwe% z63CPAs_vY%U#iSAOj#7AUPil|ma`w&FpDO$Xv>aWbFAV^M;c^g(jpWvCbJ93oyTTp09{B@G)Diq`Ve#PbtB~F+P z>)(F3^nvZSnBXeymP>?*lfD5Xi!Bn?Rlc$6{tnJWfAI!jxp1s&lw%?b4Q+(=kB)s;v`!>JX=cwN8Yat{-tINMC9=G=fcax+rFG}F znQ)M!e4U+2`f4x5MN&7pz(+8XE^cc2Z;32O0r67DNr;14wBCFdU2qZJ-y62bqs8AL zF96$}e{}ABg8dr}fsL1MI!=BAcH;5aV!zWmLkt;vuVHK|W1e&-85@6>3W#}eY)fB9 z1}hWM2B&@FA0F*W(+?-!=Ssflvdr z0=G#4Rc&9&R3 ziJpky=KoIrLNKR5%#+ zxlhxM>11%U7~GE<5hJVV-1&qi_oOgjZfnbu_-I<-ls_?8b{MyJ%-vO9AfDI6%5q4A z|5oZN>;0d~d41&8p%@kX&s}+D-4xGy-BiO;z`akUC1liBeZ)99cHogSY!JtX(TfXB zxvmBB^-0DeamB$4Elvg6?l8_3r@4*Dm%C4pBz_~}rvCU6U&}YPi}RW|cB+%p}apvBZR@~%oL`1$b|MbiIKEuv_kTDiw?Zn+K?>44GF!oh;fhMgZ zHPbT`DJuj0od>KHs{ot)kgYQT9ook7A8#94o{VlUNWDLnzk5g_#3$9^mpQHTmC>VI z4wz5uc_4BfwLh8;76?>sd|?asUz{4G4p?KydSMnjHh)n+G9&PGE^XexH2=;E=pmKD zRm_0$rOnFo^|d7{v4dv6W!+F#p!7uP_xv&$o+(sR6qVa^I7EH(kkUr%0J_LAhPJ?6 z=d<73OT$3EJENbn6#f0olWlX8+$D4QmW4QP*zpS$hDIA1{Twcb@+kGqTw*W-HZ$NK z0fGstmnnEL#pgL8>X?4L1)jFJMLi?ar0H^0E#Fv}O0(Vb%P+Y}@#|E~6SknG-s(+m zm9>Xw8R}pc!{$1Dhn_6a+LJ9M;su1QUC$UJ=~1IL?(au(adQOT0NWXf%ov;hF|+Kq zqiZ9U^XL^<{vnA8SCiNJHrZ?^U4~`*O^FJ^88I&XQw|L3Kh^2f9wdeA`SCyV@vyVAv#PqQ3taSdwnrgz%nVwD_;|o@-0DSF zPe1ry8neGF9M;;U06K>@uou{_72A1Kk8Ckp=QVvb)NE_}T|B7qWthj*pswB!!~O^f zoF6wj8seAlkF>1{bb9nixpzn|{xqV73K$l6&5w$WkF8_6-0lmyg?tOm;G+q! z4IsUb2L5Q7c;p7*AvaT4Aj0|Y?3kAA*j?xy*Vwvl3;rF+5q-Y^fV@KtyK8GZ}cG&`L9L5YEqFTL~!O`L2w-$^xdrS%>6eXZ`HuU>9K zuv|sz|Ma;(eyI-zdfQ7!h-PdchE=Z@x`1xxW!ETYay6gO5*`!yN{i$dWQIIJO9HwC zk;0P9Tx8cp6CU0etW=kb8-G_nxQjEnab5e0wWBdv3d~Ef=x)Q@e`M7n?jo6^PsATO zlab2dJkScS))+$50W=0fLlhkgRtpQ28%O(9pFZLJ`$H#GL8rl%m?lt~6!Op_X z#0x4B^8gJgol?1EW}Rk3Fy%Sml1R?OX1qeg4*c!ixFaaw5Sznb)SgW|6cP|aEq(j| zHm}TSTAm1~9+nbAo~UgiawL8hQ33fP4)Y=v-?dr`_!n%#q+J#?k8Joa_bQ6ef@OTy z0YhC(^Dhy-OOFwPAD1IxhMd%^UM53x5Q&qbh$ZlAQOPCxr^~p9=JEMFrxAu8DAnBx z_o5<`;+ScS4GNJ>wZKCaG*9N(D5B1u8rCd&_%qb0Tk*z^{cP0#Pi8S^Z*c&y@V&aA z!2Mx5S@|uRFLnabWUoj;?~do-tlLj_=UX&<=5SHRDG5%i^jp9h!xAnVsh?K=7|A!f bqQGbI;Ubx*x552C2dOD(D;CN>d-Hz)BafZ( literal 0 HcmV?d00001 diff --git a/pictures/fig2_2.png b/pictures/fig2_2.png new file mode 100644 index 0000000000000000000000000000000000000000..d58c65e554753b4560b8a9c0d344940f799af058 GIT binary patch literal 20810 zcmeIabyQSQxHn7=0t2W>3?LvPAPpnkN=P?|DD8lf(jg#>qA1en(A_QFB|R{Nba!`2 z4c`Id-n-Tp?|RpF|GF=0Im+?OKF{9!*?T{~-}8HpznY315djqe1_lO^{9|bi3=FIy z3=GWOYgoV)mzTYiz+adS8gdUY^15kOfM0OTrIe*GFbabR&x~<_-|_7p>p5Uxkl(xf zgDJ1UxQ&6KHYG1DrR8d{QDgj(amjN@;`%Rr8bU{vWHZ)3!Yd`a1DCM zn+-~f=ihFRl%kl3**P#&uy?Vqw{ZB_d$WM40gDfz3Exd3tt-FBC2Z=ug6m-Mf!Jb3 zu#l!~|K>?EtvmFi7teb3h)d7jRb5r> z{5O|f41Nm%KI?BGflrJyBM|V(jSB@n-`+=H0)HtrfPqgV0vHCyb-X#_D(LGVHs0kj z;pD<-JMielp;2fwMA9H{fDUQMiE`~B$@3oXJ+?^-mruX#s_tns^FY!(k!shgmMnG-M2d%TeO^mUg_8oSa+N8$HLED>JacgnSv zR~pK+27iLiTH^!F!GZ_}{yUZ+(joPpzDbJs;MP&C0*1+vfWmv!y$Z~yU$*WS zHzveNNYSH+YHV6y>yfx)guP|`tEG?Nq={En4fgh;HxnBI78Qd|vD(%4^hc~HI>8TfMGVbr4*l+Z@<}lxQaJX{&xw(N2LGJrv zt|V9j;TrW&Kf|vEC2nktw@_5Z21ReEvHN`uxdkzJ?y$<;BLQ3yts-MeGt+mh<(@oT*@3#ous7VaWf8b z?Ic-9|E9pDOW`2YJr;Y{D-p!HN~q@Ry+$UvfrDXxR0jZFQXU^?+ZS)DOJO4KZkE5B{oz0*8iR@=soq_J=$QzF+xL zJ}ydX^a4fUp$GS1Y};M&J2u5XDD^vh_5J~@{OweG@Qd{neR&n!T^I)Ra*fPNZprs3 zbInJ$7UwOs9f9qavr}Y7!9rG_KRb@W6Cf#F-g^1O9#&(g463>eZSK3KWP91WgQomk z64f`LPp$zzN`JHXM>mymurWT=j!&@8F9~u>mrqBc=gx=8GXhw!l&bms2?L_x;pHk- zPZ)Te>KE65%(D9A+39tlZcOBUJ2}JOfaIkKIN?b_S1Rct<9oM5U^XSXJQcBE1=oQ= ztB;i1x;I^k`_v`-S-#cE>84&pl7PO#{@>dRXji&wfXUgw$nBP zEOX@qU%aU81y0X9!vf<@hek(M0vd;K{8kHJe1#ym4D3k`VA7GN5G|=S_sU%c?opJ3#+1Fc7}~pZg$vJsRy*Hdf<)kR@tY1WXq(H+CES!-CRMXY|>z zuA%1v-Ng=_1kT6M89P@(dhzvMdKd=rvE;J~dzp9B-LWFh-G_(zxr3?Rd$tCQj9F)g zwin&+2`M<^Zv}}R4i}-s*O;c+cbmDq)C0@Mf2=HymRNq@YXwVIxa}>ju4bJLDO02S zz1`32&_i`~-WQq=lRmv!UufDwg99PQ$)}AJwcFzksEU_@4&yZ*y2$C3^mwmd+lkRm zs}11k{)vg_>dkOCwm|G#NU)$oD2!fZdpS9XyoRP5%vG}=dPXX-^MiD&<|yv!3nokG z^HWPpOBs&q+}JnGRghq-e3cGAyV5Zbw66S^-Qj3+B0bK%15GNBVf_~JqkEzAo9#s9 z0@HUR5My@?0y6C9vtU(5l*ETU#$E8>@*e4~?(V?bwl{I0^sg7qkoC5dPrB{K=vAQG z)S$0v#YEijj0(G%M$eHOU$0E$g-r{9+0DzXuct$P5n(H8j)D+U)#DWo=GN9-%J1sI zk7I-|p)CBsJtfxH6Ct;NW@Im$adqpQW&)N8V8`35t3{*yAA7)`fHv-4wehUlb?0zn z%!UC6COM0I9WABTRBz8T1}coa`q#~?-I zbb;Qwm{fj%iKI8+#(wAv7}K^h`jnsFP60euVH8k4opZ#`l#2tF*WVq0qxbE_73z}ho0Nr*y8SQ6j06C?YzL+rS*GboT4RM@ZrY1!zt32TwY zshH+`jo1A=erwT>Jffzu>N^(OIE|PO(qUbREe@ z!^*A!A2tr{uK$wK25s1Qa0~4c*i2M99q+ynP{)F)-PG?UlqWtnPcZ^T3Q0k?b)sKV znthcwA2bJfALwq?9WRR9JO-aNNxWHJT9T-X*8df-u#aeH`anV_>N?GoP-p})4}P7_ z#W$?X{_)&CM8|wSP4fq(qgV3)h@84Ol`4~_dFn7*5O60W1l*jpd3WNQHVhiqY;c0n;1{ocmbd|#^K7c^E&TLZY8X|boy{f;VS8?D<3 zd(};s@HzzKT9}HW{$OsYr3AYvXcor=WRpY#JaMFH-*K@Q#e}3X50;1yu9H{S(e!!^ zQ!`CzS<0$)mFxxwvO}g$C)X;p{Tt>DHopi=id(~sLhebNEZ;qXS`Z@|Zt&FXRIEgA z?K<=Ee(T}!bZu7(eJFyLxiiDdF1MG8YcLgFhDOde!sv&~=Hf~MAkS*w91rH|Um3u@ z$%?&YB6EK=Qbkh!6D%QHVH9HzSQ)`H4s}Ym*Z;2Tfg|^@Tisb?9z?ebTG|)K>f%AYpJvI$I@i@$#JIhC^``c4t+S+GAoyY>L-WOtx8j}W zHv_FeA|fI~dCwh4fmo!&bPVLhI>B83)%p1_KfY3z%Ie7vg4W`9(eW@DYdb+)m~4ToIW% z4%C-v4DvoRb@Qh~Z-3Yn(xdfQ=W*izG4tahjf9HNzR|XljE-Q5IvB^BQ5q%gDiX)_5<*G%b~pSqU6J?SuBPtYY=^FXhe9sL_iId)-m>Z1M=Z9kqM6=hsalfCP-D0t?Gg<8XYC|19>pXJsjGK2&Hg5Z{vtE(NpA9GK5& zDhtAZ70^IG*L;<~NG_;`wBZ%I4oG$+NQnK2*RXz&w1eT+`xER)eWu)X1Xc)9E#L__ zGu*m?oNoC-orHVz0;NlYOgNlJQ3Pv7&hf)(OfY8gY#2IEx9YZ@)o*9looJK!UM!um zv3b{)mU^CVpIhQSoOPUBX`}(u6Z_^m$4K8UAJ-QaF$OoUDw0-t8 z3-0ke7BVVxs?-8Eu1c-y(dlHPi*TuP@`13+Etus0Gy*|;^@(rk*eIZ@gOb1Q9oAn= zlcR5vA6rBnKH7|hslG?fO-~yEXTGWFBieF3vU>0<5?IeiVApV6igk&(g%EGZN3Z68 z9>4fi5*xvhuTAgK*qA5jbf>O0+Hv$;MTMR*)=P)|WHE!O+J*PDZ)K)-J!)}Nw{@1Z zKVrU4LgN=4H~65vS=oKuNe_kW4cfH<{mHM4Tv@Q54(iZNQT@qmm(e60 z?W0sVZ0M7~J`;)6TN2)ikqt;2pGV@7$D{->?U^F5=KNf?{z9abIxl&c&K%~5G5KPX z*pjVA`K2#g4(aIXdep>4YeSF;o3~_d0t4Rv67-GpdFbly_DoYXftCQacSgT@VU=c8 z94qYl!&1hwqv(K67r$NBc37uM$v&g)uiQ)}Go++9G?LbTLY;2rIs4`8-)k1%zt8o& z{Np*xsb$Yjz(5@0yf~6TY{~z7!1=mLm(e(6QKI;Bq>rBXUZn%l$lLp(BZ4hRboZlR z1F)GZRnoBo;rNqJ%mv(}g{8xR~&9D6M*Y@Sl+6ojti%%SD z@xcq@7E#p-rRE8z1K-b$(~7yQLGVOkF3Np<8!nEmdu3q~*gDf2?bwFmcMQ~bLF`T@q!>{ z`{@!j9!Gg@%VfGEi6wre8~Gx#Bc!YI#XSnej|^-;yTfR%&zuD&ubjPtQoq@JNjohp zq$YoEh)TFM;h{+8LfGk*Pc3-IWV~^VP9<%%UmZU(m=9s7ee$*b^B40c`GMS5~m@yOQ46Sfn#Sql+tfzNkmnP$ei-wThtmWT)a z-nr}Y)`v_d843O*Cs#>va9GK!*9TpGr`_~X#v+}gY5_Mt=m`ke!W2HAbD72XNEtMH z6(H$a7`#DfV^8BbwqiPIdtA*NYCc4TU*?#;3N0hADd=?_gG1&@2#W^5>p zq%Ww>Ft44m~v`BRf>twSV92_%Yst z^2hp@7k8O&Z~b@|8M(H>Z2jC6+eUt`+!T*GZ7=ouvhCezu~i=H`xi~GzoUMxQBIKL zl4vi7|HK45!=cNFeszhqTW|Oz&9giPf}n&>~uuKMxYk70JF zhZ~9{b2p{pGH?I!n*x1@9*saK0jX|=6XNJDKy{ED5`6h=L3_)e!%a8$Z z4oyo?UUkLOCqMGf-&bXw-s68%n&#fBb${k|gq5u8dt;>6@YKo*`k9$Yw?XHa)#>4j zsl0TTu+PMyYbr@R(UogV6+rF zo)6nLJbok_(dw?)FrJt2llePLjcg*n!`P)H`G%N#Z;O{rx^AUBZGRtUeul@vD>3Zj z=aGD>@ix8GQl(>FpG_76E19_AcV|1!VurncrSzc!y{H~4E~1|{F0+u`O=%{nIsRBx z;9AEv6-D;yUL_+wS9bn zB`}{(H0?gxfWQ)3J5nW{_JE%ix@dk98CeC>8;hI@b?{8#M zYOg^UQ$Wf27HIR}+pevS#;THpKvk5Ty)HUk zD7W3rYJ-%VRQaxAiV;b{on`zZ$rn=2xn5}CuZD94k|0_*8l`;0Y+fnY4{D* z9)OTo0~5Iw9FskpfJj3d(vY| z4B$<=u?R#Derf`thtucA-wkd})(i}23*5lEbnf!5>6xYvsuJhLq&`^Y-;KE~3{~ss zcpm~Cx=F$Ltei`v@yZ_p$H4Etmp15GQyPH~m=F96^2+B&LLd93BO80mdHf{Lqqqw!|bA)b`Ng_MwY zE^AH`_p*xp>=HKQBOM@L6O(E!yWAE#UnuxVkc;>SNVRXu_EwHegIxnw;; zo>e(-%r<{UbKKy$vLTr_=^{CA>UXP7mB zwEpg3EIKF)h;PR+~!pGh)z&PIj!ftWa~3IOLmz9)We08nUFLTjYeU`1Cf4BgWY5i}cdR z@Z!Ev35dD3@bZ3%`E*w=lwu>%jr~*d!!XP_cBj4^YCb*-q%tI&F6jJ;a&msLed9QqY)deFv6lrLDpvxg-e;+Jk6b}C^;(vYIy{jj(5kf#iDz9n=5aRc<}@{8=}}LrMbvy357`inwLHVZdnv{KV%UK;_-F%s3o6A zja1>t(krYBoz4dP+Cve<%8z82;5eSMB!VdTSnp?7boFsp})Gta(mXJMSp`IU9eeWQvk=2E2Fl&l;=yb&) zT@3rV@i16nC;t0&vM$L2=-I-T5k}O&>yPfoCN*#{&R^4%AHd&|KUwT-kPeL2w}vWA z86riNxp;x_Sca)Mywa`lC-@DupcE9rDDaXv+D9sd`51R`47>6?w^H@qwZ9`pWe!Sx zY6J;4$Os04&{tF}sV$U^Q+E@Z1-Fy;J7lX$<}o&-TMzAxi{>~r9pYfpe$ zm7P*WyhWB)=qpubj{b{+K6OdrwUXu0(iD#^JT>Z-`F^0n)mM~`!483P!$I>Giwm$o z=(VJi*;mzhiAr4dKaD}e4nA-X8kp5)UPkQAtvJP&FfH~hYdfdEn`n#%v}dqPjA~G8 z1;ynn(&2J+6G1L3)cCc@!c8VK`9$WugJRm?3X%vXw=4YMF#V?m2pZxtPm=v$NIvkz zJ@-A-jS{lH%A__Ohb zQ~InRXbtD&J#j@@;!)7*Qf+L*A&k{oWbtn_$0Q5wc`A5OPKRo91w(<$9oPcQ(guHeRfR$COHST4e(6N@o#o}?Y-s%yyoyEe);HAb>sZ) zRp0>l-4PHz`ZLGbF{n*vrpKMkhpCPy{iim@ui5|(^ihAwuPATy-UDzq?Z59|g^HL& zzmM{(eVvpWZZ!7RuR-tM28@sJQM01%;TFvP8%6_xL|X}w1!au!Ki>&}T=Tm88UzTv zf1g4Aky4}l3C4D%e*abBbRihOJJ%R$mMOJH@7NRaNUk3Tqfe#VoWX{34nadwJK`rDbKwwmuvp4Q|QCG z=lZACx*kFC5~oEHr=RP75egL2Bc$$L4yGNyPq2~7t`*h~j6WO0e;aVPZ4t(x~D6P}z#Mcq|k{@8?9dvpB^Opx>8zza6Q#b-zXo=cyO3hm7hT)5a`=Z)ow5; zWORYun-01{$Pr3RW6|f6-y>vo?B`8K+7C}c;;IBz4rCkJT5|G_sGo?-MY9bJm4z9; zKg5^D@`d)NvxnBqz$)XI04NBcvp~EXzTE{-N+M90kGo{rG8Ob%gt6wLNHg8?nT^z4 z1ygA==hU(;&<;E#)}S8z(`h%~A_?m!D^-wNVly>0g>3K|kbSi`2<)PJ*eiJ9+FqGq&X_dRtwUY*U{ppU*{?byjt)TU3MUh^_Gw z5W-E=L_Hq4tpD-7 z)!{C*OL2`_s9QNwV zQU4;;%qt;IKLs5&_-1Ik(qh&nNxo@27Gb3#LKpoVv{fz7(OdiR*u`*)X4JY!ZsxO= zUS>}}(HOMrEz((M4bt|NF)VE%Yy>0uZRwB+h=q|?{rhg{+1ZlI)SJE7y0cEY3m|LC za=hIX(Wf98XkFc_Frl4a>NbMGvQN71_ zVDDL&RXyzgHV5)9er=#z*i@VTboFE=zkFwLCG!0SL3;GlcJOyr*gmIQjQ3pR0hb9V z3CjdzTfK8g$W_g9y!$QQ0@l!dzq%oH2S-vS2mZ@B=sIr(kE;KkQX zNVu6Tf@9{hwuQW^8N+?W!|8!MWmU=L#5bu7TIk9!0}G;5SP!+0O**w&2@YqtF9c^X zywyUwJ97Ql*AaFP`q+_iyR%S&^#_`o!vypKK+NJdNq$w;RlV$*j?gtIS~aSfDf6=I zQt`StwQX1ZW-Ii^>|_~$dzn*Tf%xpOs7)&(C9ezhh>e=aOvE{ElSwaWtsH+)VMw`O z!7r7>#f)F~o(7PFjE#)wJ%1kSapcQT_ZT`1)x}7=z4DSN3)dhLpDuUR&BiuuC~5m9 zr4LIl6e}@FA4n-gz8-TkffYQi;Hx=*Bar&AsgAop)~}~zA@A^KNrVj&E86|X8S3KL zU)!hdB>Sit{E6d3zSn_UkiPh^7jFht$27mn+eNK7CTwgi>hxTSW=I^FRuduzfoxi*67I4M}AHt(O-_yX2l zZua^sgwg5fT^D`X&OQ7nAF&QYB=|wgFjC@+M0b6)G;G-C+nfNr;`kV~^$Bmhe8-0m zzU8^)lub;*DatgtJs+0sysL_yC#rf|-n_WjIk$V~F$SRzgoZ26DL+ErGCj8yJ!QKR ziAy)|8J(~$i^ZY$$O~4e&Jz|&ipg+2R{`&2(fU(W!05*MXDXhoSsK7cYYqkhT@FD1 zmH}kZ+91afTqdI(oML50=$&ZZGe$%1j-6(&+GW%?Mhj9U4Zk&~rwe(klp7JDT3Yj& z3W@CVpo?XN7DPvdrG!4gzgD69v@<)}r^_I($V8bl`!#P-Z4rKJ)Wvxn-7tA$)fW0k zR09wXyae*NK%T#J0az8Nx?g}=rS5E31T@m@ZQ%+Cl1?>+UI2=idNJRAKt>XSFg;h% zIPI!$I!pA{hT3)FC|DV7CkUMeAJgL8{uo?_$2CKWndXytx;$cUB*!=UVtzx3=#jvq z7Z!>7*0sVG(G6Bv;yt|~&WAUKM@B-L65gw@ z0oY*i?Lb{}2%|TD!;i_DdXK#O{0GreGZy;9-XFfpJG64F66U%b>=Jlx7MmxqiQa(r zO!;}rXj*!zBPhoBgVTqtp<(@tbrm@3gYiPg8ZntD1=Sve^6rI`)mXjiuIAkJ#f9P> z&0d&SVS8kQ)jY;TR=uj%E~zC*=a!c`2cBN8=LCg;tFgRDd+bvuHs}Wy^tVPW*AVq| zvGCcfqf%S>lZ|e*xYQ~~sNr2X=_2QeH2E0YZy-?0hil?xDMiszjIfO7W;KvHU0h`0 zEQ1N)@^|l^Z%Q4@Md}SXNZkIQkm*I!Nxka^y%uO3Bfp8tH;8I*5r*&Pdu~+fC^}^RA&al|R^)$ze#g2;H z(3xbv?s?3Ubann4SaY$>@tH{tc&bFLzt)2|6+f>)rOa#7}O}C%2e? zp1kh07eCUp>>XonYt=d{{)L*v_yX30ap0A!u!fuq>&F3rXK4-RD;zkTcJ1my>f^C z_fcX;F|PinueJC6IALX`#O;0OsDv$97pM7hiDzw!NctYxfmk;gDCPcV5$lVUuhZzk zv6&A7k61VeaPRhRAZgM^CLbMtr3PX*6GrVpaaM#6w{~xjszbP!AbV$|&x%cIbXF|O zZ98s+la$Y7Ydd>#(0RHl&#u8Yn)S_1gBte%Wn_v9w1>x1UhEJ_4`I%TUA0<(-rgcu zu&af%73Oe^*{HOD0j9yt$iQX?{&aw1$hLeqJ7R3QS4`m2%pTgV_ntm8#uD~(u2@oJTcdcg&IXf%XD5mic1A8!!~-8JP#jU|hX+gTb{6 zdqicAtE6vY{O20|;-ITFvso0~AZ(Y&KXp#!nClmRd#^(l(ulwL>!VRC76z(2pDWD2 zLTM4_0c#mS`#sHHZX!x&@7ZJ=1Yn=vm%Teq>cn1}o8~3PDF8>lnIIiyD-GS0>DZT} z6?Pci+ZMP>8WHf)C%(DEHJcQiY+_z7{-hSSm!+DPdX z9JG=XF{Vp5TKdH3{h&ms7@C*k-DN0N>p7+zUJwph9-@e#agM&>?Vw=0u>1n|v)+4} z5w6!y@|Tz#F^pCYtNKY(8eSGds(}-s8%vb)dF6gs{F&LvDUB8nc8#i1nH^h&i9EmV zoyyjt;OFiD$9C({O#7jnO=Ci<5BmB;v4`3FN%*i2&)5a#jP<#+GqP~80JB|7Bt#B- zWC_!cHWb_&+KVaI%I+>+gxogWBU31y)e*8avwMWYYN%v^4%y3g^4&wL=yU(A zF8Y^q(Q_=`R^C)29u%qve#iugp68n>VPX$DqJ4hax+U2{7YhT4NUBfNN=3b2)o%uO z#l8%Utro(yG923c&^2CR1Zq`rRV;`q{cs?F%+P6W?v znZf3GMNw(#;_qba<*5Bi^6LEw1l9DZ78UwT2>Z>g{4>^UCD4X(;e%EDkz+Az8RwKq zCC>^YW+QhLwnNuY@mcz}yHwv{36lvIBnTg&L&c>kHfHQ|lD$561sAJZiMiClIy6oR ztIzcTYN@HCBgWhFGNS>E1t7XIL~T$MIq9}XOCeSPd7{XQkJ`=x_-R}XJoU}-Q40pl zJAB%~a@J0rh_4FacOa_I}WCrd-^m_8OpQpLYUapjOtXV#X1sfoAn!#zVU10BRzY4Cv z3Ph4G`9DgP8yj9DpDl1E?to#vYO;wXqgVgDBx48AfPweX1spCz51&W7gf-lM1$r^W zWX7_xT4haJp-3hQeLNL)y!8gUjreGeFeZp7282Mrlgp$vkSEM6^PucHEa$!MipJTha_9SrPAnRRUM1b7Lj%S5W@ZtD7578GbT~k+S z?^^3A;^6Qpf2&fPEw}6eQiJ{*zrUL1|NC?`_Yin=U?s`Gxq8RAf4*Hga%`Ly(IAJM{pkc&RAjn z5kCLdO!$8$GXEPA?f<9wOY-{vL51)?a&Y|QXx-*7MZH(`8h!5YC|`+TLb$O)f`R3Kxu(0|+2r^;e|uBjf8!2t++J2LJOFP7Dm~`>eV4MY ztrkPdAF7Pfba9qpPE@{iohjy4Oq&4(3qT7z5&=Kh61N>*jB6ZdU%5 z#QbsUnGiYJoh?hP%Oak?8_2&(nZMKfzai22Yuta60_cB2^G5QUlQpM_t(^efayVvN zg@2iSnk5&DFaquP0?Gnl3_9txFMz=BTtf&*n-65vOHLa0mS793I^3RIOH0a+@0AX!zh6z9+xs{@o;HT+g=E!?-HjzRnR z{H=yUV6v;~jZNaUzJb+KK^PRSiC@wT;adJ>CiQu`mNS9+6Y5^X9VS?gBHeEodpWV z;*XK$KxG}w(o)eG4fL$-L%kTQPaGil+6U9y|3_~Cl=!!42E2dI{Ydk#EB{k&ChwfI zbMOd_7ZRyKpB!3ni4>KMOsp&0L-$sQh6MIhtG&Iy*Nkj!EWmV7W~!y;o`OrMfUu|+ zepwV(U;(6dbou2fBB4p06s(2F@T@J=eWs%yVwTt*O$QNcCS=Zwj_90#Qh^UOac5;! zwVW%qHY5vr9%BICBv3U41*6oQiJCf z5wW>gdVee}qjUan^2e$#+fr##`kDZbgT3xy% zZwMcc=Mv~rV^FgZ=(^C=>KNc1ndE$MaZn(x_PS;m?j*3HJEe55o33l^G1i5i{5fqZ z$A|H#rPQC`#<530LgTj|!9T57lQ=XFWRJ`&W3j!oHTquTH6bAq95W|y4)PY2LWN%x zn-)%#DQ0mF3o%81_gm>OZ?$;mVKN2Q>^ZJcK9cl>-1^rSE#>_9L3PsHeQ0)O+>IwL z%(&|*y67M^|0BN0y0F*x#Y*^OW)z)6hRmtpvy{SnDsXDcZZ#oV_t&!ffi zUCoph$*_$LWFr|; zGCn%av&ZUaXy}}jpvf%Ugo+14Y?&*-YrC7NO+jZqwLe0ss6zbWVMhj_4fs6+?7{PW z7@DQ#juZVepZp=~U+j;VI-(m4UTdetoT6Cwf!yG6BFW8~oY!6`$)cgX_&ly}V$W}S zT#aEuz3cF+pcb1(Qy@$G0bWm%1qipQE`?jS0q$|Y+U4PxGb1-#W|p;vAN;U{U*0{} z#~d_*?Pv>#@?+*uxAQ5sqJjacI4jx*Ii<3Z^2@&WvYUFN;FhpL!%Wcm;Em2Dv!2aT z;ZkRn?`&>9Gx{XDeg?WsVC z|7V?^RSH~2Sa7_=k(KWuBd^PY(0LRSVz`RJ6%}g>@(44qEw{F*>2XLV+F!7soWC3u zc1sYvbUmOlwpb$)+vdoXX|AClx!Hq(WONqC{=xXB3+QgdTPg2mrOL<35l_pXC=U?0 zr?A>6*jg?dSc_5xghgaP97W{VH(J11=P;U+%R-^!h44tJ%1kmr;KyY%=CYWutz}^S z)rTQDe(e6$cyV=w(}S)JNt9$2#R%+?Kg3a>?9@H?ox#cSgm^;?-AJ)Z0>dYn9KSS(YQ&lLrw?ws! zzP!7k;1^*OlXk-LE;l#V0N`bS2ZkyYJK0(m8GLtrZtEnPp1^4h@^IJ0DFXpT|F-IV zAlV&G!X&H}WX)s-Gh4gMjc5BF6f%yBL>qnJmmzyL|1XwgW7ZJF-!DEvq zTUi1 z+9kELguOVoVoyEd|a-(Bhh zfr2Hb1Q50w0;$C@?(0c>@R~_GkFhT^@nK?_CGQ{RL9D;svK2Dm^5RLB<)XPpa!n1& zawFXBMnxgBl3je9j%geHy;8C5wX&bn>y{j*pnIrTb5I&va9BzJ3ybrjl6vPq&3NRG zNhp0G5DvHLje}F#v@1BhMIqEe1r+qbWs1W+BPc983;h<$(Q80#g$QgzmSTZM>5 zwpE$-CyihvKf49U{X6|>b`MbxR1mvHA0BOXXdNwu?X5SSq`1816 zkF8_F_Z3);U&u0GAQ_H=;h7JskOscX&P=#W)z~j|R5&adcpeO}J|cFwl+j-<>CR}W zjOVu9AGwS{PbW0V+Qw}%2v(x9tz1kP7>4;`zjj0x%uEDKIkCzdaR# z*>c;ZHf`Yh(O2jElDfK!w!1+&IXPBVR&Ayt4uGKf63c#!N$sM4;+cJ`HvtmBY*U`( z1r00o$vO~(w@GJ1vwFDOLL_QY1qF}{@^^K^_w@#>ppd6o-_X(hzc(r%%9gqo0=QK1lRuBMSPvp4$9csl$sgXOjvdV+qS+!LQsM?tp|KQVkc4N@O7as-YUlSwm zt~(FMR>*`x+6|9;ymQRycv-n=M?LN=Bag}U*Q0&tVQM?Ym$G~S?1VT-155q2!?QSE z;LSe4L3|o{tm9tvR-naak92UK?bTE3Q#8heO$Q1s9+Iy&k(a?yqT8~nBj`9ctPjuN?~3no1Do0lkh-gFwv zzC0St`L?v6u#&^<{>#hgguuu5=?93GzS3E}4f4%Ytj~++OpJt z=LR8_@;9LdNYSn+5+E=Ov3GU-1-SN~5~V)@>%Y>Xe{tg_D*O}3U4hGxtEm5q|B@#D zhu{7L$^XCJ4B)%5DX*QeDRh}_?J@Bk^#$swU)_LaViScyFAm_iNK24zzSpUo#OeZZ z`Zb}wkf3u#uJe#nD8@$;0K_duHL&Gd0aQn0TdRTi+23#d!Lt7c{ryjYw^zkx|7W`Y z7pEI2BdV*b+xq=xoj<#Pm9_POyV&m{x6AkkAWmMmxE!qx0Od`WFW0%;hJkINb7p1+ zIELrzY%2fov%pp9u7PY_pt@^98uL$p18^--=jZ1D`*ii9qRYaz-;J6q{jF5GteN`V z=v#x7o(<=TcX+}%JzWB2GFND^aCd-9}w9P!!R^2 z^N&E0+*KXj7vPEitavNxtTYSQ>$URDYej!*bbRW<(K*fymOEAx60L_^5_g%YJ1>i_ zh^#o-VX a^@gjxf$rYCA@C|K40#z9>AZ(VzW*0~ag{#+ literal 0 HcmV?d00001