From dc86842936bafad311ed3c560d0a388ba4c54c0a Mon Sep 17 00:00:00 2001
From: Zhiyuan Shao <zyshao@hust.edu.cn>
Date: Tue, 21 Jun 2022 08:52:30 +0800
Subject: [PATCH] revision on preliminary

---
 README.zh-CN.md                     |   5 ++-
 chapter1_riscv.md                   |  39 ++-------------------
 pictures/fig0_1.png                 | Bin 0 -> 19174 bytes
 pictures/{fig0-1.png => fig0_2.png} | Bin
 preliminary.md                      |  52 +++++++++++++++++++++-------
 5 files changed, 44 insertions(+), 52 deletions(-)
 create mode 100644 pictures/fig0_1.png
 rename pictures/{fig0-1.png => fig0_2.png} (100%)

diff --git a/README.zh-CN.md b/README.zh-CN.md
index a96a0ea..3e6db14 100644
--- a/README.zh-CN.md
+++ b/README.zh-CN.md
@@ -1,4 +1,4 @@
-# 基于RISC-V代理内核的操作系统课程实验与课程设计
+# 采用RISC-V代理内核的操作系统和系统能力培养实验
 
 **操作系统部分的实验用课件（PPT）及视频讲解内容可通过[百度网盘](https://pan.baidu.com/s/1H3PWEGwTa_GVrhhLYDwCwg)下载，提取码：66a3**
 
@@ -11,8 +11,7 @@
 - [1.3 机器的特权状态](chapter1_riscv.md#machinestates)  
 - [1.4 中断和中断处理](chapter1_riscv.md#traps)  
 - [1.5 页式虚存管理](chapter1_riscv.md#paging)  
-- [1.6 什么是代理内核](chapter1_riscv.md#proxykernel)  
-- [1.7 相关工具软件](chapter1_riscv.md#toolsoftware)  
+- [1.6 相关工具软件](chapter1_riscv.md#toolsoftware)  
 
 [第二章. 实验环境配置与实验构成](chapter2_installation.md)  
 
diff --git a/chapter1_riscv.md b/chapter1_riscv.md
index 9d9fb97..dc132a2 100644
--- a/chapter1_riscv.md
+++ b/chapter1_riscv.md
@@ -6,8 +6,7 @@
 - [1.3 机器的特权状态](#machinestates)  
 - [1.4 中断和中断处理](#traps)  
 - [1.5 页式虚存管理](#paging)  
-- [1.6 什么是代理内核](#proxykernel)  
-- [1.7 相关工具软件](#toolsoftware)  
+- [1.6 相关工具软件](#toolsoftware)  
 
 本章的1.1节将简单介绍RISC-V的诞生和发展历史，其后将介绍和讨论RISC-V体系结构的各个方面，如1.2节介绍汇编语言、1.3节讨论机器状态、1.4节分析中断和中断处理机制、1.5节讨论分页机制。最后，在1.6节介绍PKE实验涉及的工具软件，以及它们的使用方法。值得注意的是，RISC-V的体系结构本身就是一个庞大的知识体系，实际上是很难用一章的内容完全讲清楚的（我们鼓励对该体系结构感兴趣的读者延申阅读参考文献[开源指令集的指南](#references)以及[RISC-V instruction set manual](#references)）。然而，不懂体系结构又无法理解操作系统和开展PKE的实验，所以本章将重点阐述和讨论与操作系统设计有关的知识内容，力求精简和突出重点。
 
@@ -677,41 +676,9 @@ satp寄存器包含一个44位的PPN，它指向了一个页表的根目录所
 
 实际上，开启采用兆页或吉页的方法，在RISC-V规范中并未提供，应该是让各个设计RISC-V处理器的单位自行制定。考虑到我们的PKE实验并未涉及这些非基础页，所以在这里我们不打算对这部分内容进一步讨论。
 
-<a name="proxykernel"></a>
-### 1.6 什么是代理内核
-
-代理内核是一种轻量级的应用程序执行环境，可以承载静态链接的RISC-V ELF文件，其运行机制如下图所示。
-
- <img src="pictures/fig1_11.png" alt="fig1_11" style="zoom:100%;" />
-
-图1.10 代理内核的概念
-
-如图1.10所示，代理内核的工作适配的场景是，既有主机（host）又有目标机（target）的场景。代理内核并非独立存在的系统，它不具有独自的IO实现，而是将IO功能代理到Host主机上。它可以看成是操作系统的一个极小集，为应用提供最基本的操作系统支撑，使得应用可以在只具备核心资源（包括处理器、内存）的裸机上运行。为实现IO操作，代理内核通过HTIF接口（Host Target Interface的缩写）同宿主机器交互，完成大量IO相关的系调用，其工作机制如下图所示。
-
- <img src="pictures/fig1_12.png" alt="fig1_12" style="zoom:100%;" />
-
-图1.11 代理内核与主机内核的交互
-
-图1.11中的Frontend Server可理解为在Host主机上运行的一个守护进程，它将二进制文件（如代理操作系统内核Proxy kernel）加载到内存，通过控制/状态寄存器使target机器复位，并启动代理内核。后者和Frontend Server通过共享内存的HTIF接口通讯，实现IO操作以及加载和执行目标应用程序的动作。当目标应用程序执行完毕后，目标机器通过tohost CSR通知主机端的Frontend。
-
-代理内核的设计，对于在类似于[Zedboard开发板](#references)这样的环境下开发、验证RISC-V处理器，以及面向所开发RISC-V处理器的应用有着极大的帮助。 Zedboard是一个搭载了ARM处理器核的FPGA系统，其中ARM硬核部分一般被称为PS，而FPGA部分一般被称为PL，PS和PL端共享内存。PS端可以运行一个完整的ARM版Linux系统（如ubuntu），成为图1.10中的Host部分，PL端的逻辑资源则可以用来编程形成一个RISC-V处理器（软核）。为了在RISC-V软核上运行目标应用，就可以采用代理内核的思路（而无需为RISC-V处理器去开发一个完整的操作系统），让在RISC-V上运行的代理内核通过HTIF去“共享”访问PS端所控制的所有外部设备，如终端、存储等。这样，可以极大加速开发-验证的循环，最终形成可靠的基于RISC-V的系统。
-
-例如，我们可以采用伯克利大学的开源项目[fpga-zynq](#references),在Zedboard开发板上测试所开发的RISC-V处理器，fpga-zynq就用到了代理内核[Proxy Kernel](#references)来支撑目标应用。运行结果如图1.12所示：
-
- <img src="pictures/fig1_13.png" alt="fig1_13" style="zoom:100%;" />
-
-图1.12 代理内核与主机内核的交互
-
-我们的PKE内核实验中，也存在两个并行的Host和Target系统，Host就是我们的开发主机，其上运行了一个类Linux的完整操作系统，而Target就是我们用[Spike](#references)模拟出来的RISC-V机器，目标应用程序将在代理内核中执行。系统运行过程中，代理内核借助Spike所提供的HTIF完成所有IO动作。
-
-我们认为，代理内核除了它的实用特性（如以上讨论的对RISC-V的开发和验证）外，具有很好的教学用途。在开发代理内核的过程中，学生只需要将精力放在对计算机的“核心资产”（即处理器和内存）的管理，和通过各种数据结构实现的逻辑到物理的映射上，而无须过多考虑对IO设备控制的细节。这些都有助于降低操作系统开发的复杂度，尽量降低学生开发的难度和复杂度。**同时，代理内核的目标是支撑给定目标应用，无需搞个“大而全”的内核，去运行各种可能的应用**。
-
-一个显而易见的事实是：**比起复杂的多进程网络服务器（如[Apache HTTP Server](https://httpd.apache.org/)）所需要的操作系统支持而言，简单的Hello world!程序所需要的操作系统支持显然要少得多！**例如，PKE的第一个实验（lab1_1）所就采用了Hello world!程序作为目标应用，而支撑该应用的PKE内核代码只有500多行，这可能是世界上**最小**的“操作系统”了！基于该事实，采用代理内核思想设计操作系统实验的一个更Strong的理由，是我们可以通过对输入的目标应用的迭代（从易到难，从简单到复杂），反推代理操作系统内核本身的“进化”，学生在进化代理内核的过程中完成对操作系统课程知识点的学习。
-
-需要说明的是，我们的PKE实验代码即可以满足操作系统课程实验的开发需求，同时，所开发的代理内核可以无缝地在Zedboard开发板上运行。这样PKE实验实际上是同时兼顾了教学用途（采用Spike模拟RISC-V环境），和实际工程开发（在Zedboard开发板的PL上搭载需要验证的RISC-V处理器软核）用途的。这样，就为选择PKE实验的学生打下了一定的RISC-V（软硬协同）开发基础。
-
 <a name="toolsoftware"></a>
-### 1.7 相关工具软件
+
+### 1.6 相关工具软件
 
 PKE的实验将涉及Linux环境下较多工具软件的使用，以下列出一些我们认为比较重要的工具软件，并简要介绍其使用方法。详细的使用方法，希望读者通过阅读其使用手册进一步掌握。
 
diff --git a/pictures/fig0_1.png b/pictures/fig0_1.png
new file mode 100644
index 0000000000000000000000000000000000000000..2d4bc936b87b68b7400128875cd054912d5cb864
GIT binary patch
literal 19174
zcmd43Wn5HU)HV(%q96v$fP#RO3@u1Vqex5F&@z<3&?T)XB14IEcMssujlm$@F|>3I
zokRW)df)f+eEENPKfUjV^E*GzoW0K8Yp=cbwXU@`L8{8Kq{LLjczAfE@^UZK@$d-T
z@bK`xuM+@Ix};6CfE&KEy6khj;_e44z#msFpD8`V!$XCWoSF~<f8TJB({;wfyFYw+
z;os|PU&q5!@REP=O!JM=da^OxKssf!q2swHFZrw@CiI<1v&F+WliBST2L7gTH=eY$
zGhVk5GQn!meu5Sc6`FjmP-})fyiFw?n@Cigc?V>5{{tU8DE;KOT*L!Th7N_-;PfH3
zOrN0QdUe{fWmyR)zx~6(`~nTb$&C$-+@8ZsZiu*#a`Ng%!EutX&+%Sw70^YzWqef*
z;MPl?1_f?uERrbTCaLlkhL4B$HU$rTIaV=z#N}{22|y&kZSN|C0=O;T*w@C6&CZ}J
zTye5huL6v)p80rh@vr_wztvzy7aJSY-x~s1p?|6sx!F2?S}wKlNDrK|CdSKy*icf|
zJ$8Ckeb1pF8}oDU-fiy6589^Xb{F-{Xnvf|%{80gBGI1XkOA}Ikzwx&-MUYWgp$&C
z8T$`JgJ)ph@>5{?f~A=K`Ggpl6|uq1qVDSy8|zPC`95#H1!r=xjogrO3peD~@^pgH
zzTNp9+1onPqF53byzff3J3E7+M_CS5Zc3rnyI_ph_wL)U8dFqw;iA~4U*y-(<>VSz
z8xy4^el@BmZ98zOPV;+QLo8fm5}Ri;9SG~thOc?{ZyO)l=+bW6-^K&K6<iJzc}@3`
zq|yY3Fdsw#VoUi;Z|l~X@?^5y3ve5=M5Nvn>(8b-q)-v_NDcQ4#FL{v82wVkqJCjN
z+I{laU@M@gY8`+1gkKXYTz5<LX9Dd->-(zj%RNGHr+}R&PfkriWxd_UFMsEM4HZG!
z8E=o2xzUhn#{J&EkN$M70wryj{z+&&VLfj2woye>8I{5Rai$PmA8^`bH?5(0clA2q
z0wv$B@^Ogwk4FACUF>O?AD-7zsPXbqjYb$%5@BzqvwK|4SCU6iQoV;l72;|fQ>#eQ
z7qrNogLc6^Y(^f=rPuNWxvS2r5#mx=bsczh%4~qbDJxztVtJ-T78v^EkZ_SHOWLN*
zDiTvIm{2uw)S^1rJHGj3>I=q@A2Tc3qJU+JLVe_)w9wfKcGke&&;Q{Ri$is%lU$#A
z^KrA_)lkg7S>YD{YG2Q{Z)749Z&tP)=s$}oiN}nVZ0$@<+*5se-OR@T`OI&3r}xl#
z5Q^HdeMCa2eA1pnJxTFGYRP<2-(uWHCT4!Jtf2NR&90{Y<toIRvtlg4gYaTjTKC%A
zmbC8YWuH=IPp^O)kxKTn(iI~cvBV5d;^#eg-XgwHd#ug01Y-%#?sH)(3uLX62+&lX
zl7oihR1COtY(?jf-b3bnEu<ZMPhhu2f6J|-lIg<w9b8DpMq3u)O{tyi-2p0Py7)=h
zr2{vG&+4j3*sAn(9|Tmq>ev<0Sy<HO%*$muh2TZM6*R4Sf__*>Ijy(%(dZUs;3$rL
zE-%jB#P&z*v0G=WaKWa~fZpO4hs|3O!m5MXC|EW&iq-4a&`E=@BacYd{Ccn$nd2dE
zB^S5G#^lq=x!bygM=|n0lzJ~9C032iv(hR4KH+bOKi5@}e70HCCY2!Zo59m0o@z}N
z=mcx`Zh+y@=eH;qTT*Oa1iBoiYY&Bg0v9#plcW6|qRnnd_gH?;OM;D}pzKH1GlyZ(
zu15@Y)1Tm1u$-|)&jfCHeET&{;P)XWP!VkY^<r%ws_Q*Bp&n!(|6x;W9rJ9s*Eh<&
z&){9@J?D6Xc?vA2W&?#qx;2_0WSwL+|GI=c9vQ=-QsRS*z*Y&S+Q6%00ygJo54gM+
z7AhSnUTex~OD{K(i03c^+U8G2mkP#B88qg2NA8>BGHjQtQmP0mZi$)sJTj5ADQzev
z4QU8=YH%$b=9}^2FN~1VL@ldz3!l7sfsCFG;utN<-@IFsYru*2eCK1MH~8d~312RF
zzk+|YOW^crLmG8p+Hg-LEcqKIf!OR~6YVg=-ZPQ&ia%_%ZS~o{;4gN)3Yqm2Uoo)a
zCbyprE@3#abK1+)=Df;?<s$Y5d$7beZO4O+@kl=<{ArcG;ultg;Z9ZkruCB@u+HRG
z=|&~7+d<Me1%&x|!orQA$j>LiY{YN*W<u-Js3|pmIGEV83-*tHAXXC_g-C@xq1xvu
zePKIOq8?0jo6J>{LyU`V!DeyVESF}t@^cZRUYNdc(IZM>=Es=lx%?g@psj{QH#h^^
zjCjF%!7Vm(o<-&Pj91^CysTc=A-<D2frd25e81pn;!m}b)H>1+?kzk*l0Vfi3s5fE
zDrUWY$TUi-zdxr+AHaBv+NoLUrYYs}$rmcNn6VF@A%GRN!QWLd+mkE`XE@G}WUTM8
zVI93T8_m1bce&c?Er!FMoQ5M19;*rC6_%XjYzfBi=wDxeda1ZP@GATTcMirL+h){#
z;J@zR-I0`Sdz-ScVZJhg#5)@VqQA@1A>=vk5IxvPO#Fb!Iu}zB+~U<e!gro?I5`?t
z6<{E8x9Fz<&mlPh)}#>B!|<^J!-^hL{8)u+=k)H_aa{;@DrAM$OcCw0GKdDK;xF>r
zi}BCM;^$qhzkhOKh0jb%dGOwex(cKc4hmmhzy${iIkB{`EuSPM7;P}k*sQw8C+|2^
z&4#j1lO1KiwcNlTPFdcIC2$9FZdYWVCTQMwW^Rnk5P;BusLO0<R_Gc@L-vQQeA{T-
zZ4;#G?apZyXKWC#5GyVT%c$uI9hK0MA9$J}M>8_L7c<YrEk^pvf>tq8TA=}OF)y71
z;hKiw>P;PG6klG|hY|~ZGVb~pI01bn?Vr@|_pfuZbEVq85?{3m^FK{E@XP=oA2J#d
zhhkpBzn#Mpk!2@w_vs=(MZZqRS>CE>xb11XvwtV`Snp{`T2%@eE>8b89@|y>U+FVB
zN0e9ZiP3S*gTXh;$SoP4`BD#|M!9Qu33t9&sZ8^Sm7tZKnA^^a@@%I|4mo0~NY2Ie
ziFB`x3P;QfzKUiY)8p$v^M}E=Ww?LerWCvTNVV}Dt3-o?++>Ti+r9JHp~d^!Gb#Kx
zvAN&FUhW@{`k3y#S!?@zV!aei_)zS}&(Jq~z3pDY25*G<^q(QEzl?{t!yD)~M~BPw
zn_B0sjaKK^E|yP1-f6)HPh#z-?jvm-Fr2@j<W>y>H_KFquU#1*6Z_^h>7_3+O}kfr
z#!X%4@U_k`W3z|!?X6da8HDw>DU%Ea&gyzg!L(e$*+xE1dI)Cx4?VRGun~4`4%wuK
zCgmgdT+)%W<8YY_9ybkJ{Ji%>2QR|iP%2w2+Of*l*g~tRUzFrw9r}3q*G{z5;fE%&
zp&K~TD<(ELS*8ii@-ELhYR?t@5)(tQ-i@E<w&d3-@SaHr28ZPvPM1`{3ZEHMF-ycf
zI%2-LXd+T4{Xk@TsKKtoJmolD0B?xNDsbp4u<=K~wHP?HB=N-9e~>$KDbi>yB<JxX
zOmp8eseYYWd*B19<b6zZaC8(tIbdM$n^_3%yXkt87YW0AJJlaJlfh{{ewhA$48dNa
zs_Z6@Y49HQM6>G%2ntF|;7h}8ZGDbca(9@o;6WOXSJ_t|zC<xHGVUl}!NYrhIPI6}
zbrs|^*FuT|Al^-?&}*)Da-heiPEKE<Nbv3;kx131G%2->yQ<ffOjZJp*X{k-ji2Iu
z(=qPq>;!(g#Q^r2Z@oKZjE8q~l}QzT^EqnI4=0HCd)!_nRh$$}pn4rdeFH@DmIOp1
zc^x7^27pCM2*ukws&FO%X>tJ<eHum%K$`}@^;{Aa0U*w5;QH_u#`q3~?*Lra@zF8_
zXoBCsb%y{EdKE$VjSxZj@aq3n!3Bkwq9RVu*k{MRBFxies{k~<<1Z`#qLvB()uB+1
z3+-U4wY(o`PJC3MqocakR*8v;J2Xo7{uz6;DmIi_@MW2@c*Rm{*=^2-gUsm$k2~@b
zxl0EFC;aD_uih6QKeko?^Z8}d?#n+4kvBl`-La|pqN~%bG<g;qV1F@v@uDD3M9_$N
z&U)m_>&>YK_UV;o0Igr@>`N&uvFp)LXq?B)NmWUg?i|1Rr1!oGw}c>0XST~wS2tqQ
zUEyEJ8YrNHupNafJfy#d@j`FPXiEqS?8J(!80MJf4{`<h|06REwmDJrM7%LIwBGMz
zaM-WWF0`Zdq51B#vB(Zq>bZ%$;Wfg)^TfoD?tdyGTpM0c?qt_a6&CUCCXI9-D(Wj#
z*je`<HORBZ$Uv#u^Tc(gyr!r=MSKtY3NIUtQc8#aV+~B%P@ZByJB&7`>xzrq=O5g}
zU5+N|cU5(Go6fff(YS^{uj=5P9rWo~&9?LbL0F0IZFIn5>1>E2gO0?rzjh=qiz+NE
zghRXz=xw$_+r~s~sa|c)q+$(|QuR(4epjZj#SmLMfo~?jn&L8Ib;PTb!HT1&ha)m{
zqeHLxHYREq$6t8-t0-AiWTZq+0(_}MXl<z_|LW}4Y3DIz%MQ22>thHl)p6UA^j!M6
zg++vp37#bii>54bSVCkYeO*EjammTiwi%-T4lM%{9StsMsZ_a3L~{_}9R)qD2DOov
z!kW&Y52oRYsHnEw169^4`{@|YOs4;76cN!7O5=yxw$DZ4S9O)U#8qOaco$1m;cJ(Z
ztHGMBVg`7Q%cYc+2HmzuP8qiktz2jMVbXt9N=hPLuZninBMp-mA|WvGny>vVf#dJW
z`~m{im6yM8g`O?P@efv}-V1E&Nce;fFADUefe5fQdF?&~YuY7#_{R?XVY0G^{B9Ei
zq0~asLN5*Dp78NWWKvvfRC`jw9WC5hEN?-nl^@x8puI*HUfA*Rkjr!RcM<JLZEzzd
z&hS)J!t`ay!lMN2*Wbac4O-2p=Wn<*o!zA4d>OFLHXadQ4}-pbWnsUqeIz`ofla0^
zQGfR2$&*r_DExnV+Yk0S+%PQohV4_cNm_?E4!k%qaQscpUoUCP_=xsc-#g64K001M
zlGUKOC?!d~qoZVxP<Qd;sFq%LMejuE-B`N{Ob1nL;oG6E&sE<%#FlVXSqDZ@bvY8F
zBN<1vhN>Lqr>L2}KDE&o?RbB^jr<Ct!RJK4D|brtHEAgg+BJ?l{`pI~H<b&+<y;{d
zL!He1MuAIK3cnVs;U<ryZG2a-&s(RCG%*)Ll)5HMWSnCYmDSv8UTUtUDrOVD47i>m
zAMRjpn%ZnkJY}PbdD|oPYybE|1s&v@+*%h|*e{c*7wp;-eLsXrZIU24kc#=9I*Yni
z*50Xrdee`rkA;46-GLhAm3wslYIF43mbe=pg4S>z+>m&>%$K`_*_4FC;jP;J?*Eui
zR54WTUE#&j((uD^wOS-JJG3EqY3Ev3h6SpdHXHM!?sw|sV&y)&Hg}am@UHHl5pl|=
zGUM&~iKVqdlcl>lqS0>>S^inO+3W{rhts*lE-SJob0Bu}SIHN9wux<VTZl?klz1p%
z;UVG0i^!7SYREBx#7cD>k7ZC1XoFcD<;35Etsz2W8*%8%PygfJ)oWoZVzBpCbl}3p
z9M109c5iwv$9|{|#_btu&56=rCZ%Z5I%910>%$!mlyYIi3$|gNhFgFw_yGGvekv?m
z@j+-n<$|v|th;DH9hKuWVfa;uSwBMppHmx|pdK8Um-i+fjm;KAw}?%5UqKUm<^y)1
z3JoORJFoA`Yqld2ZW7J5*_huouW=qly5!-frDkgb)_s;ia|dMkP}jF#yo^K-62^&v
zPxb>#Yw#t?i7@qs==dTx?P7#R+b{yW<ht8YWY{X<%wqT+F+`;gpW|?xH(~%6eppA2
zPO>9_Mfv3#A~Z_|F*LoiN77lwIq=cFG_h+2Vc|M#-SXo#y4X+Dx9=ct%#iv~@I<hd
zppBBLdkgccz@dF(7mke0YYP%jUq1mXME(j|hF1>Jbzy`wQJ6b~p_T6JO9^}G4+J|s
zO0ebaS#n5eql@tAm#;G=u^p|hQ+@K>u`tj>@B5Lh^P#3da1w`1DsxUVR@x9x+EwE)
z`4vw}a{d%nJc8I$ruOQ=m7`&l^f)jva#Rq3FW*&>;$FIVq{nkug|YfwP2Pyt%}MrW
z51LpV-JVRPW4mQ>wpQX*Zd@n4A+AKfXASQOO2#mEki;dExnNwL2r}CyZyAZYnm+G}
z%72WuGI*^N_z*5+oO<rFJ%_VBjs|x1KXdV(FPM{24~5$;6uVhtTj$)o_wOvJVh{S=
z(fv`ie!|?G{|ui1ZO45E5Ki9i#ViV<|LY+k<?O+uQ;nJL5{fVX83Gx^O@xOlvx4jW
zs*zLd<}i#{@xNax2U>A9VQ!6z<kb6OgBc~%q-MZUxtyn~2x+pL|ID@|O3wekCKU3I
z|N9=pjcb5!u=;~wn7#vB1QY2cDhXz~+~>32T|$_MtN)FI<IAi6gfBSS^Nar3!aNR6
zTwJTyeXal1IKBqFkS?sNHF!Xs<1F9r6pY}c|993umq8QWDm?Stcr7=e;WjdT-SJ?b
z;^NbNNF~WcgIBE4Gu0cFm6h}3+IRE12f5QQF*mbd`^fU;obPK(2Qm{X)w75**s25f
zM*KvqBr5r9O^wI?>QF#HfQ%`TO--70NLUybC+B3Xt72p34ZzIQRnWXXw`yUdLe7v%
z4YnMNi2KH8U0s_6(XFj+mK2Yz*e=KR{As$=F1i%i{?2JXKIW;MC1aY*D(n=^;U{+o
zGqVpeEm66Zz-n{Vg1;<4LbutyRN=XrGAL?l>Mo1OhEXXguU~F`ug(sZxQ&hnIMmVJ
zTV30N+P7#t7y6RxHcai8Tc?1X5~s{^?NYh=Nd;`$-k8p}Fp+F3grT7!c<F=Hn1WOp
zzY*h5S3rqzMkX^)esWS$z1Lx}cSj^Xu;%O#h7y7srv)B;ht3G_2|5I7eCJHDc(**d
zCa54}BEn+Zv?Ayj1!d5`$Ht~__r;4iy}c|Jw#}mHf4c6@7E@B=&cps}^M?UuK@wGz
zjw96y$q{k3ybZm=$9qrcVxcoaL*kX8t(m<wUGH<iJ1C)ScGYRw$}NEJ5raC)tK7Fu
zQ4T4@^ESHZ+L`RG9%QgYQ=G0Dzovd)YJF5X{nGWf`r7NtOi+;GHj}uf$AS8m#Er@i
zh9HY?G{)Y1y+e{H&O7_#B9&{&L&nfKUfx$iXHBW;E7-7>utJ@Z_9_W{zzD6gq37nb
zB_s_3oCdE|Am~P4UgqQ_l9A{N8@6^R0}E1lU!1loRk|aC7)-6^u}#kv?Plk_{h+FP
z_~H~Kbd=FsW^~Vcn1%>JiUP2Jmgj6d5x4i*7ybu~SK_NA{I<`DnxyQH0px1N2%!d?
z1HKND=$8qH`aMo?$G$*gOwrGb4fh#NT^Xcl7jDP0=*%dKw5Uj!i>+X1b+BBwF`;`g
zCC%VE`XHWNr&!fThK2U%cjDZzWXMg2Dcv)4x8dPB?Uc__H_a$Wfe@HC7c}B-rV0z9
zDXzWez=Z)!{aEm4f69GZRw4d9neK;5B<eJ9RvFNO&#`0lp>mEG_&u!S?IRu$Dv<-x
z)5%@qZm85_-YwiocupQ`SlGt+#6%P+0KhPE3Od-KLLFVgsf&32Ry%G&ggMMX9BUS&
ziG;#LxY?}TT3JgoCrop!mpFJ7*D~r=B#L*eAZ{xabZVo_MzZl4u&T;R85x<4Nypob
zF&g6!{MG^osbXVd%n~8D0mbx#*{AXkdroiLe4aES2A{0|(pZ4RFqA0vzbS65s9#87
zj<HhHTmXA{+DSwk&VKhqAi%MA=!EvK*kGhrBX2hfHM+xfGEtd(1889BWV6Ruuxa8a
zR6yTj57d!RzcF?A@&|_w<P#CZlZKE}TF#$+8_#7pxY*J#+R-XfDA^RByuR110HSDP
zjmi1yC3}v@`TA7aV7DIS^oeR7i$%ikGXpUKu<r^A2w<)sV5Np1)-~+Op}xZ;4pRIN
zSWeOjWHWY-8OH(+IZ))rYEzyqTH^R<yR)S=M!y<oZ*K#E2wpj5)MnF#xYpc}zC`&o
zgRGAp^KFxZ_u7+NfmHy2joF%|luTjx={T!R-lU9Y7S!jgNQ5#=?3!iLhUGVPi*D_9
z%V0vwAV$QF#93ZDOB#mSFD~6bu`35oXZ|?}Ce894M3J6!ELKPL)u7?oA4u!?)_0*{
zsVLozdL<eb{qFj%Fr(Y;z^$IK$MmD@TRUP1^=S9?4swmC@_gtIyCtUcyJ{X4%E~|0
zQ9_#vXbMdy5v%ic4NWdrlTq>Zhn#4Hibl$t#b-8o(yQ?##!WBQO`M$6E5msKU?Kku
z1;bmJt%2=M<crPh1}p|Rx&Bn23g9@t_3hDjRu1XwZPohpL7^1$EWvF3MugpAtO_`l
zFSt^zh5e6<E8Fm68xGB1_?p!o2Bnjq%9?-v{JC)6E~ke86QwtKF8vx-4IUJ5sh3vD
zXtvo%$H=Lxa?mTkpKKJcB&}YT>G;MVA;uq>|6Hnji<7T%wh9-0`zDI@RrmKsWa^wd
z*`uHNUv5WYi1&LevZu<LqpCAPL~iI4b0F(?kt-O6#3MGj)9xR$u~qBHB-80L_A~t(
zR;=2C*DQnXCfAe^<;h3AQIrO3^##alZJ4v5#W~W?oV41tt22Y&wOF<pRN43X5<SMK
zky)|E9QbaAc_E)s<U9NB1}^36#vEz51BMv{i2<UT>;xdb>7;U7yO)seW^V*dXW|WD
z?pMbi9UWb{y;*)uH>=y@WS0_X_4+CBK^KtM$$@P_+cIOFz{MHA&3uvmFgEo{fwY}*
zq7C*aI3gm#Ng@E8m5rJFS?5?p4qH5p#g=+m=adHR0kH_sUh&fjn9k!Mz39SwlFDz5
z{G8rqy_?MbbUeRLcEg^}O|>VwC|$E(okQ!@EIRPA+a7sZlBku)DA<i{5knxz)|c9P
z%i^AHzn=5e<;DI4QyoEY7|Kipk~k0YT8@@2y8B;~1lSF#t~`Y@Sy>yG7N}vSjW;-#
ztLB88BvJ*%{V;3mF7g^eTK#qfF+{+JOcOgiJpAJa!I1SS>cVZQrEvID$W8Ue<J{Q5
z&FP3&IsveVL8&4Fgi`8NF#8<|_I}JZrDDn1bxKK6qt`pNTm83}IcaI98ft6VruWU>
z{`a;SSg|+psj#rZP-al~=9DOADDfU+cEG$sppwhhi%snOyxB@q`vM_iT|bP=SlnTD
zJ_VJYjw+Ka3RHgCtKlAdC~Ur7)u2k6j@gsfMKuo(Qz%(lW&G3=Z4yMc*RZ~{F1*Lf
zPQ#)kULji_?XsmgTV$oD{se6#A^9<}5zDdZA!qTjm;h2)^jCxd%D<~iiHx)B4YW@1
zDG>R~&8BBE;OtmiwRMUO<Yzic@K>`j3uUL@mgb`>>W$+QEb3GYt?~nmcmOrAr9-<~
zTCRn5D=I4T&EB2m<CVKF{Fuz1!d1rF!lj&Px}!Wl8kRlt@#8^KwVl{tYE&*Xp)uC&
z6>74V{Tez)r2-^^0q{=M#56rof-viWlUtfzzi25RT0kY{sr$6uGO!U05FwO^wj<50
zjLtO#S2LmKHFIsO+beUu&F{>;0>rbJ&<Il!NG0PXc*D5dX<81HNhGLH<EZNmN~Mc&
z9#!uK$EINxIx=^7+5dg*#hoTamEQ)A#Dmf(?92S5n##STv-N~dbt$hLXMJ=D>+GcK
z?+#IH-y=V{#{xWK<>5EO1bSAJ$-G*WmGf^LtFdWw38;GA*o>8+<e9VV9q2=^f^(b_
zjZ+g+?$qsyA9hPIKS!-xK|k_;s>t!JX0|^+2o^uS=k6M3cjKZ4b~4Vt!(c`(L=$4H
z@k<M7_z6{dint4ASe5Udvx(oe#}y^6bSOA^ho1T_2m@>XtX-+RJAM&|i2v<8o7*L=
zMViDbayuGO;cZaj^;r%S-g>2rbvl%*sV~PUqu7h>+#fmEkC9Jkqxo#qN6=w=ujvt5
z3;s&TI8Nl2gBfeeCsbH}{kGX;QR&gz&)d(i<SRSXOgg1wNn-Bi#%B|ChgO2%ztRbg
z0qIK!#oSv6^RR79@D@~-X+XW3+_O05kJJ*rO(%LqFC||FJ?_1izk)4m8(G#0!!vE~
z?}vm$pY=@U;%o!j{r^lO{_Y=H9og3q=G~v-BjY1>zLGADKK4~osE0|Tii+FXsdYGJ
zm|csZy0$&-1xcNaggu7C_=qA(RXA~+Wf0-(+6CStps_;$J-@0;akXkv*w5LKtY&~R
zw#tS+8R;U)6xN1s547dv7Nv-Q^cB-E{itp-5{KeygKLJUZu6%CwA-o$Sr~ISR&M=x
z!@adpD}6+?Vm&uNY!XPKvgcBmDFDL=x>*g22NM_9-AG}#V^wa@I!%aj1Fx|QP<j;E
zA4n(rLMn%x17S7*j1}I{h2iVj2i>fM#XlzIWLElZm>&I9-<MV%HIfAi8Za!bUltLE
zii@z_T*Xbe)FDV|Jmk=`WzgSO5S)~oKx4o_TP4|JLigXjGwQ;KQn7<_dqdWKeBx)_
zMht1l91g(7GV{JpuvPu21Q#l7c`I;YZ8!p9&#r;=xugN5Jk>FvxPpXo;Z5IANlt4y
zx>D&=6X`@UH=;>02eR=-)XPrk`Y*iR#nM(JOccnWI$~v2wgTsyH8mHH2ZJJOwWp4o
zB{KbUub_v?Ae9CPKwrIYJ7B8dLOZ#rm1feSpV~8V1L6mt2XEq}{5s{GU?d_&ks(|x
zpJEyiF_DF$Bi8rV%vfAU!@|^sOm`?gK5%`L9?o=CuPxw&*`2Lpm0IDeC0|5YPHj1Y
zyC)@o+aDuKM)MKz$0#@>zWr4JT9Qq>yO=KpHRYA<D6kNna!*7AZ4r9<Og+c(#5lQ?
z|H=02>QzKc;n%`|=!Yy5)P$Dq^xB6yU)(x%BujEwnu`uPaynYX5LP3x;fusB0+!sR
zF~u!0?kwrBG|b*Rn4+1hYxGCE(4zp4GwMbE&`{DEfn~<`!oiak<xlmy0Xupje6yim
z6@CotFp^!-QzX{4JNBxysz^aq`1ABwN`w*}M1TfxGH+oG?_lJ_|GtZd&bb0wQ~F*}
zn$lbn<Z{o`1Mtr8U<3Go<AMxFV)b-AP<AGl;%_xn{}unIi4D4uDt_j|$@Vm%weooh
zJ19|H6)p^X91qQqAE-z8|NA$9s8SQAY(l@vCGUP0{FQ&XC0@DgMB*(gR=4TpM%k1J
zThdbC*QqgMjWW1E;@=&Y>~Htw6j425hZFy9>9|0N^Kyfq04n?Q=^QCNL~?w5x-j%T
zhx!tLGxH|iQD4T<z+ePu`qcqqH%qv;8BJvwF}8?VJIR-ysCJYRh-d`DOoD$qaj-g6
zs7XYnRpdyKZ+nU1Win9}70iip08s=4(~9#OlXZit{3Q(sR1K8u?Cd-C-HVGk2Gn~I
z<sd~yt4!1tx?c<oo5*wju|FV}&Ro)zd<Y+53oJMWLA!}GN(nrg+~=t5&oQu|fB?dR
zYu#YRC}V+N`8-h~)>4;4VSXMNIWuG8c@`WOA0JWZfBq#2rlX^iPeslxZWdZ8H|ccV
z5kGm`*V4=^tGTTCPZ~m>3kKmP*i_VI%7wy!+==xL5X|bCa;X<S03f~fHK3=Zx>5hU
z`py~sRMCKemF?hQeO!}#;(bPUIxDt8WP{a*Sn*E=WP$9dPDoiZ^Op=*(5SAP<ro0h
zkP(#mQsPI8N8~-Ca-_f8quEQJMG^f8h=rw>5ZgIXav6xpiHQd^ld}6j#Iv>QP|>kl
z64s}0JgY>m^k<jr-%ep~(VcaY*F-fZi@3Yp-khpg6ZeMb7j`C#JsdMx$^AqKfI3z9
z%9|cAKws5l6+)jsh>9?uh6<UHHn&R37|iks*K#M%*<Ge`1PCXb(QjninXS-deBVfK
zZ{{G*N`>r5f3-eb_%XsA)MK3LwNV4C7u*30-epe{35IK6Nz7cygJ4Bq`_}OewcNyT
zy|g6art@}A3QKj{s12W*wJ3{k#hLseQvPc|42el|WAvqen^tq{g~*?fdt&s;p~Ml5
zr@pL=O#g#q06wQ-UOWc+y$(sXhG;tgQRKEct^XsjKqHSR1I3@^{0@vkOY1$xr$ZtV
z6uALGGMUc^6c1b|{`Bnnu>nsvS+1lWBKutk+nvSV-{0SsINkC&MC~FTO^>>Ae{tHd
znP8k|LmxICHvFRVJKdW3xl_dXHmuNYvi3g%C4ZKBsbP?u+$FuCiH~QH7vFx#zy1Xo
zKZU1)FMo62oXRGCAnZHa?{`Y+|Eb>n%=q8M_!Ee(9b%r|O@lJ6XzHPCg3I%N&IGTi
zg`d#vmsV?62S7L*kw`aN-fxIW3?|J&mHr%;dVyP#xTrbJ6wW%Z^)Ck8fPC(88D_sC
zI57We%WQ(Iv2=Jz8M=nKJyJa{X}?0cG2v8$^VI`4x7hV|j_0LZl^+0*yLM^iL+gvi
z?L=p0fN_t))te&iWzYbJmG$I03&O{mZ(BkcQ6T_<{4(Mx7ui_%|8@Pq;ky*){hR3i
z57AWmnW*<oFQpD8FmC|jAiSaRBDQPWxM6p0`gF!4i!wbncIULvbkEw)a-?Av%`&3i
zRCv5%2ceJ`c2z}Ad#zD&>#b2nn-<lOqDw<b=&YX&ffc22{rz7)uK_+s)M=IIV(V9`
z-n5|9apYfqNNr|pW@ZvtT|;7lH!nxsh;X&i3NzD3tS2e3$4r?!D#zs%<@);dQf)`5
z!=?^xy-(W!3aiz<P#qxk`rpBxq+zBU7TTj}LTUJ-dXmK?f7bH%GA=9v_DkdCBf-xp
zd@Z9J@+ZN^AWwwoTF!=zaC5nNCP!vvAPn{NGORZ}j_Qv3I#ZU8`xZz0R&IDU$R-X;
z745XN)AJ-38C-b}8}HbOf3Mkghn(owBMRjtoZ09o#mYlfxC}SAt`f7I-TZ}(EoMr)
zV0XFs3ZGVK%bsKc3(n@=cg$$!aOHm2{uNVlulcq9Mi{Hh%@?xI%ePlo3%oB1@Id2g
z#Xdj6(IDs4PYWHfQ~WV>NsTT~#;>kG0O38Lj;2lx5p=(t5_n3aval@jXGiSqknItt
z<@u=n-fRgP!$whs@aHJ)m>%K|w+v{zmyMs2^C%E=vG3JzfW}P{oRQgbQ7{kj_!!0e
z1F?HfS&=ut!1ViM(Vls+F#G97B}V?x5k71Exi>ChDR+Ji(4tEpCxb)>b9<Xn6U5au
zqV2||x4?=xfE=_O58o(kj|DPMw=|HLQz`Pz*^q5Fe_gl?CD=x+($^7XfdET9Q<|&b
z_pgeiKs4;-=C7!e{!)H@I|;`6Yx<ZT3{X;+k-<Bd$V*8SuE&Nlp+!or4wypETqxJ*
zF+@9wA?3|By$#mx2`5<J`a|b6H5A}iyf-n$GN!W3%9K(lnrn!4l{8F<5!=CdMex2F
zHk`%prPkyDbMp$oDUv0@CTr87?bPgnc~L;p78myDCZL8fVYMXv4DmEW@v?7q-@l(O
zRR|`Q8yG*~cXSx5eTwV%_lB6Jd#oFdW-`t1Czf6;eQvz1DPAFox-X`Mt;|QjN{kv5
z_Px)Ccx(pkBmxkI;v$~2wKen0I}29^SPoTLk{dh48Nig%VacLjlZt*e#O;rY4Or%O
z%HoJMSl-a@uobLn4D3)D>ggKmxJC`nkT^FRy>T_%crM8gr&3`mCaAfmf+!haMyu0$
ze3@ipIt#j-Jp|`M!^BEXjW}m#mrGfX%}_wQQ(G4~tT5<Q^GMH*($sR^wPPMTVct0+
z-lprub&<ctY`0J|*ko`OZ6S%8d}Z>ECd+MZ@lyc8Hf6#T;<noS;!)8`*{ZM^Z1yd0
zD8yP5hlNCc8|hVq#>eAYwMIgno_Yki@%^+g--vJIXzz3V+>_l!{E6)Kb_%)7yHzg{
zLse}4bQ!&iK1~_7B#Ne`5Mw^WDR1X#E$r%PXOd8#mz$!O*Zyhr<AHFuQ_FYq5zLRp
zq*K}N)-ky&>BLFRA1{}yZCORd&};0Q-!sX>Zzk1FspgCqdB7c!H`+YpeEWutiW_}w
z#$GEt&<{_}%1<xlR$|6IC#&RHTbD#39|*K{$K*XP{W8b?urbwCj8*HEAjoTGEjBN$
ztxX;`oI?yK4(Z&KfC_qV>P*7IHCb*EIAv7`h2*A>-hVX^HTr?yPh80Op^{9`gTVpa
zCyUmL#L{cIF~Sf5^<*GXan~{k@O#r#B_arlkAT-+Nw5F;rnzRIJ{1}j9Xe|ANLkk6
z!%9&lxPt`MmCIL>s_a7eVj;QVq+rbBl7(UmZl<4}WV*ERIyy@|nR43fdxQy*igQU{
z8?-iDP-0y}+bU*O<HRpbSci1r2Um)j1bV>Ii*xDhVXwt%5}F>!Pi&$;x)0rrR^@02
z*KFfD`=I=;rI;?xP8OwZN=sR=^W>zR`G8fohbU>CO}ohWZGjt{usPC6nZ|wHi6!Ea
z7~&9y|1CP8u@FJ*E72(#Q$U6zV2ZZEaaz$DCJ8*UgF*qo-V_f~D&<bA^fW*v?>Fn6
zlX;uFykrKkx71w{ukT%DSqI~sYsj<ZP=x)nYR=+bWTRKmh}8-{V>7~e>i~@dE>`V{
zk1%s{>Bc&F0<>G)I%HUQp<^Hjwi_-?*Ss1>t}8y8-F~wA8Fp>vg`-&B2biUWMc$WT
zxk)PozZ*`n9Jb(8LQ;o>E)g(?VG8OHoSvnI+Su{bCOLEFDZzBit;mlsMwZeV?yZ-p
z9`49xq?6}6SmASKkcg1bXtqr<1dZ4?6G03;U#)=osCNR{!LdTM+5*h3ap{#DGNQnH
zfVUd3MJG^js3Ly_mk&KF8wYhO?M~+uH3uj&sKT{?E*-9W?M1M->odCMt{`9yI=4FH
z&<DF^(9Pr6eUHsn;=KL|o9fyEC~-6)x<%a{5VprYyw4EbMv-vLk(5HgD!MO;(n=>o
z__$0Trd|?}aT|QLR>(IAkRpxO#-<)wGZ5RMQ0e%oqHAFDx-xS@7pvif$%c%$=jP8)
zsKFB_7DQ#*c7DP6y&*@I-NFg`4N-@gn_7uaGb&fEB8rGr;g8Wv%C15ON#XWi^r5Ps
z?5!cpECQB?aHmI6+9CEERDv<Hhrz8WuUrU2BKu7X%FPeFu*10><D`GO%#7A+q7*4t
zeUl%dpxhSVthBVD?8HsdWq=b*G{9ib!7zE?i+!7e?Kd2?xLn9CH9QGQJTt<6_B#7Y
zQyOeAvN^{(v^_*hB9AC%N)#{UD8zB;r>v{p7q%DYH;#H^(POul9I6x|T&{($Vm0q&
z_@g(4=aA3oB;7v^0|m$;XWrHHSN?Ikg;~pR+r&f2qG0mp3xTa}^U;I=Hx(e0tCbfH
z+t*bknZ6nQ<-XjU{_g8tq+|H(4L3%qpOS<DW-aPwQ~iSM!-p?It~bf@Oe0?Hjv&h`
z*}o|aXx#OXvS<`PJ9)7&>PpK-iU`ftV?h+&bF-^i=5s3eGa3t&95JiA!zX}HP{Azx
z;#7H^8)M7nW@<VI!0^EW5w6P|6D5L%j?Negt@hks9UhJ`C>Kk^;CHxP3p~d|-*T9j
zt#MlP%;$A?;T?#FRp^fHE=i&qa)3rO(M$Byp)xuKB<NevJX=W=N)lxlc0L&6bKcIC
zRWJ-#nl0-ve<84S@r!98EfR|ZU_=~)On_?AFkHWC9~W3t3I{bq1YT*Ag2ru*GoebB
ze_tW{^GdNLuG7ET&bRYe>|hmWb+61i4P!K5iMAed;slAjO23AOZXrN3*cqTJ&HspK
zS4Tc-sZhnf4VZF=2v9&M95cb=@w)txk&#(#x8AH*jJ)1WJ;Pc8LGHKd)2``W66uRr
zKlk@Q)O5a4A^YubQy@gRY|02a!It&(U*Nwc;oSp(%LC)5e<Yj#BiZt@@F>;ycm>O`
zrb+Yo$&+0zS)lB!cabkP+V4HVl<$eHXZrHR&ZgaCUfv(m4F}&iD#g>QfXI>%Aw5x@
zigsHZ3p=4F-7Cj!Zt23=w{$uBFM3aI{X3>Vqa3$sSLY~(6g%hP|IzQK#J4bh9zaW8
zN~vHGQPG#1E32#4A-epRUDG1~QImjztAo^#kACYxDo6HYQDaD_P=R;<>YYpr=^CCT
zT0>XdCy|=MvNBFF*27gZedDzvifW`n6<)HE538~QbO~s;5+B|2<$y!`Lb#UcL}<@D
z=7|+5Ri@;dSafk)s`b*%PcZ(mKTQH)EG#T_us^LvyMOo6rC~7hez^K&q9L?(_hw!$
z%^c+%krHa0=#R0j3j=-4p7>6G4I&_L7tt`9Wa?WqVPE<jb(slFgJxa)wb)Q4610(N
z6NOHnaoIcAl|S*N+=a%*?>kpO)QO*AxBz9-Xkj7vH3TW%WgyOQrc(1>>ZU3jjsUSs
zcsI;99k*Q<2}N=Vi9Z#H-9^z0eXPE&dj_Hbb7_}x*UXMQ2`(E*3L;E>D0Kq<_XD<z
z%R!M|(A3N@?;XkAW9-goANk1cnn7xY>)s)#*?P4v6TqS`cV%<A2NH-dx_ph@ywPyO
zM0xftrP2kKTumX-bQ(2+6J8y5dQDP@KnyXPwlMeM5RLudp+|L4o5yMRgsyqTXDQ{b
zbuRtg#T%v-s2cas;CF;6EBtEpz<wnF1f25BpgQ~M%uMpz(4Q{%<6&Zl^HG|E`>b3=
zVnP73{aB#f@_0w>e5o&I4+XUZ;EhG|N?CahY*sR|#BVn1NW^$C)k0Uuvxx!djNV3J
zrz+>AKgxk_&lEDjAMF?2TNgMZ9jj5<v$ntuIFn!%pLz02A#m1mb%`XT)3WQa1n6s*
z^(h}Nr<U%`n_T{vhY}r@@}@DTa<z+Oi?8@kKx)ptH~8JntU(xBep*+s4VW6msPM*^
zdEqqni6%WTbOqL7bPb*Y^Y~-(#B;U+*B`p+SrCeZviS+?TFJRvWS$GHXX<GfJRoof
zstP-AQb!d<)Lzi{-1R^$D1)4d!u6bAprVDEK$D|vveF6t6a}o^7#g)7Cu}VCe&-BY
zD^*QrMc(d_R}rB~-L@~K4_GocZa`Du{5_{%5|Firk<-b_okOJrU5R{cwx)+b?Zl-K
zX+B56>N7{f`JsnG2Jq&Tl`@=jCGSCCK1I7TXF1Cu%opqF;etgzrRN~4VN^gM&VV2w
zm#qkiY;_luzcg(yyT!YB6ca7K@Y?(~+i+5)UXV5%>&vPN#{+Ua3Xm8JQO!2LqdAqL
z@3qry-F0NeuLF9pZP}4AW8~~+k$sEuYkc<eVGw{v(b+tWD{$Fg)xvE&x&fl5PKAZ4
z2!bnVy1<B~98j6}fS)!DOx<8i45G#Z77rOBdnS&}1G|4V{L1k8JhL(tSy76yn<8o_
zswAOi%rdC37?YcGs2+V;`u7Kona=5Opa-d0xaCX*RwN=h2F%eioBuPrKrWanlm@6`
z(0%W!t80+~W(mC?Pl8J=@}@wInV*Xg|3Dt-!W8PCMrvSz0)<-lUt)7}b2~*!U|{VA
zAS&n>UaG~jz@-S*(qZ~R<bPJ8`VBPMEF#xk+s}k_l-UATDsIp5C~B2aeQmsuA$DI&
zjc1H}?d$H(Za^@gg*MiM!Oc;*INx6%V5a1%9O$o65B2E}RnL>wcjB=YcPIasZVMpV
zgS)NybWkZbiMhIt4_}d@mW9PDuF*2;gG;WN<t)L%LaRy40<^Y(DLNs1fSj&oYI6@6
zIp7q2AoxpuYjN-e6z`;tte$Xi8SCA9(z)cG8~Fw;vk?nxfBNcBodB&JPylhWv9STd
zZ7=tU-Agts({1`k@qPtM*o4WLf6Jk2XmC2lhrXqhH2WZFpb7WM87*BXz5a=;s>F98
zG+IhC{xSl~0U|K!`{QXFn`jF`-p;3Tg%Ow?PwjaLhAt&x5(%-c$;lviyUvr1bh&%u
zEm*+|FBE-UEWk#yX-cD-S6A7zTrU%V@9OOD8t3wCXvisK65_~fVr9Fe%z}8zvhu$g
zEQ@s|N+*%J^^g^okKJYVG(Kx3ntpJxIrlTPC2YLPzQdi*1jwp87F)E_=f2+n2@olf
z#&S1^h@}TuUZlahOTNSf@$Q-{*M5PIZ~30}6b~(^o!tcKgW0nFa)Bp_5~B8`(`Riv
zy1p7Pr^MAh(=0xncc;VOokHmaiU!MGx<jsaa>w`iSO%4WHa_)FH6DMSvp@U1`t{$4
zHzMl_pi*nrm`9Rzf$p0VuG2uQZX5bruKjLR;ys$ls+t<sKcVq|FW$)wJ`7twzO1fz
z8kTimm^LGmL0CZHf{ld~C{LofRFE?2YD1CcQeO}e*JX`I0%QIHz>ZDqZn>|VWtcMJ
z&b9C_xtU9J1@MsB*~|q3p_9x;uR_W@fe6`cswopedJ`f2<<{j`3!t+A76J+{01nT7
z1B;);r_4#&=(}=B^jcj~ga3;}DIy-y;&`^n8~R)G;)D*KbbR*ACQ4S}2F=E4sgQD@
z_+Dd3c(~5;t`7OX-!F#+b#--RXJ^a2PY(44B0pK>v$RvX`FxuxsE`YguMIE=3=GuK
z*1jx$I??36B+o8U^(q1kq_9;@ZTP7646Y{(if?zm|7A3-GQgTO;sFHYo)rPQK@kym
zSKYO6PRe&xIlj20VG17KLx6jetN_+uk47ndS^k~xa|>I6#KFz^L^a2MM4NmD**w$G
zx4xD(qIn2+csma|8JtNyU!;?ex)U*QvBvNxAAAjp!gG1~9FZ+0U4REvyI-aV@T!>r
z!!S1wXyL`<_}|<izJt6X3NPzVk<<UX1@lhZ3@6*C+uM#*Qh0d&fbM`wx90%jNa%Xh
zpo)h_x%v>ORigzSoNsKNhZ*H*Y#LVY(Om>Q{M4F0#{$&95&vQG?>3VH#dUvA1U#Gg
zr?~nZ?Ek{!MCUz%r!VX4ICPH8^tjr2+!k|m<yLeX588ri-kXw_dP+&{Z3d9X>S;RR
z`s)VBi54hY9(7n!C>xaN6l?ucSSyJV6-=~@vRV{ZbK-wapmC63w@~C8*b&VpAj3am
zRPR>SMtMt#gO9|FRr{5G8?#_6Hz!1%?gMN^EA7_h;RYarxQd9bDVHp{!sFBC@kv(6
zjWVHI%CNh_UEb^9M@DaZz23QXhpbqm0YxAvg=TV|2=MZN3VALGd*n-Yv;xb%5vp?m
zg@|TBU9l|Es^Bz7kdlbDH{V1*N8y3~WLesoGN5XqPth$($RW$N(cF%r#m3VIydcGr
z+pc$jqZzmV3L`+6(*^AKykOO~DqUzl_AJKcuh^2L+~RWo=NJG1x*e{MYN>eM{C(v~
zV@J;UTuwD#(7i;jDi5U&4t+Z^$7|JJf9MWsJTc=CcK|<td(1eJ0(Fpo&u>JJ#=rtl
zdlhx7)>H7H>k^iQCBGXE+RA-QB6yA0bm5Dw!-yeg?dclWyDgte`St(R@FNTt4?X#*
zc=%r3$iIS09ymW)paM-k^Hg`yI~uE-*uLLF`DT^&pAuzNWQcg;7=bJbCgto8$!N||
zIUruqBku8A9W_RmF5jqHeC1?(%E<^=Ed3wQ9ItGNa;jX7$k@p)En!PvHq}$O0C!~C
z8AZ&{@(gnP&wIDP?Agl=T=F7XdXEpcb9KtM5n48Gr@F{UbKK}xrV5c42SWe*?Lv!4
zan><J_B?-!v`qqs5vq3UI%PpFg{hJud?u=j7O4IFd(5SMPZd>Jc;u~?*vV&1jp$m;
zDbhZOODQm{kFJET;kJKY7M%V`B(axu^}u|b#cSlhuZ%7zZpdb>Lj**0u%i`s?c?W<
zW+PkFr|zci+_L-6M0u0h1iq%b-aswI$g5i<vkD}(UhBrA)J#-rBw@*SD_Z^cbjlxl
zqUh0%rd;=+mk5M&m{pcdT9q&!GQ@l(@d;i^U}!Hrw;yX2;jP_ObMzg*5OM#}UOf?H
zboIa0p9ZC!TT3TwqAcXrXg5w{%AieFJ(MGB;ueY6MQQ4|(J_y)a<<}Bl!TcB$d#TH
z*a5GuHP}WTU-wu}b1xL|RkD}-Z{D>A21G|Y)yE-$Pul86MNKC%-}p~{`>wvfb064I
z=d@c)Q>GP11ljF2DeeF~cyh{9h(-AWCzkc%ysNG?<TS)_Lor$f`=?sK*`dG63x4=N
zYPml9pHBaudJIR4pC8S!<Kdx8{LXA30@u<pmKH|wBD-Av4;fBUEF>}%X+E4CF8Q4=
z?GfR9gSolI0B5;&+SyB5DM|2NZCUyqSPnj$=Q!X#45{}#<pWyD-s(|pdULW~RU<1&
zPv^6Dw?VZ>S=_$i?RE8~5Z?>ORm#C<S+G=Jr=5%Qxh96|3_DZt!Gqim8P&`{h|b!e
z+9ZCazef1tv#{)gObwz-e@*`9P}ijkzfK0=YoPe~Qngoa0OgxN3H2R8RSy3T1b+g{
zPt*{KXV3rh{=pB^{{*9#>X-hk`e*%Jb-aRRkOQ(8z~M0eYCt>_=>J6gaCZ&mvN^=;
z!c=9`Z>Gz6NusP0=CNj8^X2=whga9_Y0q7ZsY*v+V9L}5rXzP6w&wlxVrONyhCkHX
z&F<WMtYYHR=b_)X8}49KbAHP=cy}A^{@}rVZZ7hh1jYc=Lm{}@L~d+j27WDad%rH3
zTYOS>Lg&@tSw5KL=j>O=<|-;MMlF6|(QG4)!<PF75ONzh49knDA|>b=_j&oBe#GUZ
zG&vj-j*1;L{a#mNs_!M9Rhy$<b*jx2Uw@L#_W5{AKh>Nt#j?Yk^o&|q$ZrNZY?Ml2
zbQsWbYa2wcHh8HTS9RpQ<FZ@NXU&qgc@E?FgQ?WB0%so#G<icjeLnmYrlB6<da4#k
z*^(6?BXQD)xQgIJB=iW`a)~hP3djy|ObBRBe9{W9P|CkGOPs(__Q>n0G799I*8bWN
z)P_)6yHi&WOw6Dx%KNH=aPsmIAwr#~eYR7>zc050b}dr*m&`7c?phF1D1elvj)@jh
z2?^+GeGO?8Y*a<T3jHZM=Pkvu^q|$8GD%ZBna7e}8P(!ZmQL3sfWB9#A(vYT=}M1;
z!>}&WMD482aojTA0)s1<R$8CqxCCtFy^5pHdEHyjP*>t4pY#Xnh^v8FwYwe$Q&G??
zC1kHevT^Rq(>w(nDAl{LL8Eu?X@OudfpvKO#JeUFIvNovZn1D>jD#{HY(*E)L=8+O
zICAxaUk>}vFh!&4w4AG|SiBq^1gA9@t|NJH%G7faCm3GgsP?7UTdgqLP^bEtyV&1;
zu09(^M!9>Rv}zrAme_x}k;+|4)s8AOx2?*>>{{#5VIm61KqB8*?PT;~j4r^e0yf?+
z3fY4+>BVZ&s=j^{-Fv;YTxtiHdp;7@6~_AcN-fp&eG8RNuJJy`x7BPvR-TrASa*fY
zA>@8ExWpT0cXIohi6z{s#<iaqe@YfCQ)p*lAZpP5shn$?sSdBy`_7(Ocokq05eaI;
z^dw-dy*xYUgZ(0E6_@FQO<0|pO4kVK>yd_0E3M1A{S{qgJyV>Ca*?=5muJS(Tj-&x
z8<=N$IFosFdUO$Ie^md#r!VrJ?cVV*35jQ0z(DwlJ;hC$L_wLjUsE9iWYnZCv9UcJ
z+;Yjld>3J`gnP<nWo-FF0H+x;5YkO;{M7?_RG2p-lp)+Qc*NykKdN3u?Rsyc+@1=g
zw^uxNS-ri(f)L9M<7Ix@)|evuCfCQav`)g=x>D=q$f7@r{WnV44Qr%1{$oplN;)8r
zJO0wJ_V?<?c##U$Ab%Lq(}MfDUpqF$CRr8N1QOPg9vmd=I1^@LDn(wxiIoRc=j>d=
z^4tIg-+$W!+tpxS{W!?u%sy}G+c%L(teYS<RCb{LfagnfV12>v;%&lv>vR!i>5q(^
zWm8jJgat}T_sfPeld@H`t9=;&qxfZQU8{w54T<TRJj$tLT2pM$K{ln9@npMuAzuT|
z>DsJQE_}i=)$ZCY!O>8Iqsdo$KKEKZggEmv40JpmtjI^CmwhR_D;1_}%N|3j?G_vU
zRWH|+QGWpXOC-Xaq|8tXb>%_feRI+u&IVSG)KQ{ziyPHhi3uA^G!J5Ae%Vf!HxHz)
zU0U-yRivXo%V5{&@6WCeJc#anG$9!cc0O;F08L20az1=dtNYF^kmS+hs*Wn!?|_YS
zqAji@3qbT?;^q*yw{v`%Nb{5NhL<7;Fi>3>1FB#Y9F^sLBwaLMH$9l(^?I)zINf3<
z39{L1^xt?W95z%`Zoa?snK4^PPd8~sWOY3ZcJ?#i*$lor(Eahpf&&%C)&g%9ji8sp
zZD;iq(M2_?D9SLffNpNSG>w9Yl?rNDc?G9kO>+oDI85&|FeJZdy>M|4MxDh!-)-nz
zk1IG_3FF?s<6yS^R`v0DYhFsB2-2X&L3Jkptp2#ZoJ{}nOTC`*S^(pUyxP$VOh;~7
zkR=uSn~^IB(j#?>#0rU_O7G-}Zp+-ID?a>pGJP~Eq-Yu&FDE~$2PPd3{1=52<nr&v
zMvi0n@V0)@eQ{av*I-S!b}6=X9TH=!4#nsH1V;7(enz02s2nTlcW%D)s8kjEFgNYK
zn&wGnplG{hxF?8u`AVrP6{mcajxi;_^F~1Tc&gpBBUg#(r3FZ$mW&>A(QDK64u?QD
z)}reL<Im(m=<RyQ&h3Wgh-JxGX-#V$Ac+Gh1(93ds?%j8E`ASOe$gehf-Tg6_yb_m
z=q`xYoDU~!9&}jS`%EFPdpiDxpI5dw#jYtT{Y7wn<)y=@h2`H~<h~*B2wKy~!BVYE
zwA4}b|E*5NjX9g=;aokN)~A}YJU>rV*&e_bCYajwVN$K~Y`=rW;x9{bQlzW+bgrm1
zwlBER$ZcJy_0h`5)TrtIvRzp|H_PMZR(rkhjqv{$F#Tlx&#BX*?nbNaelp{}h3;z3
z{n=43qVH`K?6ufcd<_(fQ^Rt)lVha*7T=E%-+SqY)$htW{@VNRkDi)zHA5j^S@g<m
z!K;72u7B{e?90O%v+^t4-HVT{xF9Q*DI2G7*eo7cX03T%_kH{8qp#nD{rfX}m&TvC
zHxG_vL|b<4p8w<q_pYa@645J9&s{NjMtSh!(i>;vop@h3|5J@BF5l95vuwNQwZy2o
zn^zSAgMHQN2;1c36^(Y=111zVl={1TzjiS4$HfgX6W89Hr#naXsnxz&FQr)cr}O?V
zw9&R!mTtEH-gn%M|L01}sdHxQrHh?^oMrJ7+B`Yw5c94@A(ju=N}+n|gZhn|ZAtrg
zf38l6WN~zH+yCD}M7lZPjk0ool)ggK70bil?I&oKrM3MOV@NQvv8e&>;RkNhKk@eV
zcHn}jC*Euf0X}|yLF|d(!<rnf1A7=qM>qlZ=l{32P+?uT_})g~DOL;&p00i_>zopr
E0R8LH4FCWD

literal 0
HcmV?d00001

diff --git a/pictures/fig0-1.png b/pictures/fig0_2.png
similarity index 100%
rename from pictures/fig0-1.png
rename to pictures/fig0_2.png
diff --git a/preliminary.md b/preliminary.md
index 016ee41..bd6c6a0 100644
--- a/preliminary.md
+++ b/preliminary.md
@@ -1,25 +1,51 @@
 ## 前言
 
-本书的写作目标是围绕基于RISC-V的代理内核（Proxy Kernel），设计和指导读者完成一组实验作为《操作系统原理》课程的课程实验以及课程设计内容。课程实验的内容需要学习《操作系统原理》课程的读者独立完成，课程设计的内容则鼓励有条件的读者多人合作完成。我们希望通过本书所设计的实验，加深读者对原理课程所授知识的理解。
+本书的写作以及配套实验代码（PKE，见[riscv-pke](https://gitee.com/hustos/riscv-pke)）的设计目标，是给出一套采用代理内核（Proxy Kernel）思想，在RISC-V平台上的一组由给定应用驱动的内核开发（操作系统部分）实验，以及和操作系统相关联的软硬协同设计（系统能力培养部分）实验。通过完成本书所给出的操作系统部分系列实验，读者能够建立《操作系统原理》课程中所学习到的概念对应的工程上的认识。进而，通过完成本书所给出的系统能力培养部分系列实验，读者能够进一步从工程角度，对现代计算机的硬件（系统结构）和软件（操作系统以及应用）所构成的整体系统建立起较为完整的认识。
 
-**操作系统的本质，是介于硬件和用户软件（应用）之间的一个大型软件系统，通过对硬件的包装来支撑应用的运行**。这一点，在代理内核（Proxy Kernel）上体现得尤为明显：它的作用是为应用提供最基本的操作系统支撑，使其能够在裸机（在实验中，我们采用的是Spike模拟器）上运行。正是由于这一特点，代理内核可以看成是操作系统的一个极小子集（对于代理内核的详细讨论，参见[1.6](chapter1.md#proxykernel)）。在采用代理内核的场景下，计算机的软硬件界限以及代理内核的地位如图1.1所示。
+代理内核（Proxy Kernel）是操作系统内核的一种，但区别于传统的宏内核（Monolithic kernel）和微内核（Microkernel），它的实质是和主机“伴生”的操作系统，其在计算机系统中的地位和逻辑结构如下图所示：
 
-![fig0-1](pictures/fig0-1.png)                               
+<img src="pictures/fig0_1.png" alt="fig0_1" style="zoom:80%;" />
 
-图1.1 计算机的软硬件界限以及代理内核在计算机中所处的地位
 
-在本书所设计的实验中，我们选择的“裸机”是一个基于精简指令集（RISC）的RISC-V计算机，该计算机所支撑的指令集为RV64G（支持RISC-V的通用标量指令集以及浮点等诸多扩展）。我们在实验中采用了Spike模拟器来模拟RISC-V计算机的行为，Spike模拟器是RISC-V生态中重要的硬件模拟器，它通过软件的办法忠实地“复现”了硬件的行为。相较于在真正的物理机器上开发操作系统，采用模拟器开发操作系统实验具有环境搭载方便，便于调试等优点。
 
-本书设计的实验并未采用完整操作系统内核的方案，这是因为如果采用完整内核的思路来设计实验，非常容易陷入某个模块（如启动、中断处理、内存管理、进程调度、设备管理、文件系统、Shell等等）的设计细节，整个过程虽然也会用到一些应用来验证，但设计的重点始终是操作系统本身。完整方案中，即使是为了运行一个最简单的Hello world！程序，都需要实现如用户态进程封装、进程调度等以及之前的一系列操作系统模块（如启动、中断处理、内存管理等），这样做反而忽略了操作系统对硬件进行封装以支撑应用运行的本质！同时，为了更“像”一个完整的操作系统，完整操作系统内核实验方案往往需要自己“发明”一个简单文件系统，并用它来组织虚拟磁盘（一般是用一个文件来模拟），这样就不得不引入大量与应用支撑无关的代码，导致了工程庞大和重点不突出等诸多问题。
+通过上图可以看到，代理内核仅运行在目标机（target）上，支撑目标机上应用（Application）的执行。为了完成一些跟硬件相关的功能（如显示、读取主机上的数据等），代理内核可以通过HTIF（Host-Target InterFace）接口与主机上运行的前端服务器（Front-end server）进行通讯，由后者完成所需的硬件功能。这样，**代理内核的设计就可以无需自己去实现显示、访问数据这些与具体设备相关的琐碎的功能**。同时，**代理内核的设计目标从来都不是一个完整的操作系统**，而是只需要支撑所给定的应用的执行就好！这意味着随着应用的不同，代理内核的设计可以简单也可以复杂。
 
-代理内核方案避免了完整内核方案以上的很多缺点，因为代理内核的存在“天生”就是为在硬件（模拟器）上支撑应用，而设计的最小化的操作系统内核。**它可以根据应用的复杂度的不同，调整自身的复杂度**：例如，如果只是为了支撑Hello world！程序，它就只需要加载、系统调用支持即可，无需进程调度、设备、文件，甚至虚拟存储等等内容。当然，如果所支撑的应用非常复杂（例如，一个多线程的网络媒体服务器），代理内核将约等于一个完整的操作系统内核！**从学习操作系统知识的角度来看，代理内核的这些特点更有利于读者站在应用的角度来审视操作系统对硬件的包装和为应用所做的支撑，从而更好地理解从原理课程所学到的知识**。也正是代理内核的这些优点，驱使我们在RISC-V Proxy Kernel and Boot Loader这个开源项目[ProxyKernel](#references)的基础上，开发并设计了本书的一组操作系统实验。为了与开源项目进行区分，在本书中，我们将称我们开发和设计的代理内核为PKE（Proxy Kernel for Education）。
+总结起来，代理内核具有以下特点：
 
-为完成本书所设计的实验，读者应具备汇编语言、C语言、基础的计算机体系结构知识、Linux环境中的基础软件（如编译器、常见命令，以及git工具等）的使用，这些基础知识。考虑到《计算机组成原理》课程与《操作系统原理》课程在开课时间上可能的重叠，以及RISC-V汇编语言和8086汇编语言的巨大不同，我们将在第一章介绍RISC-V计算机的体系结构的相关知识。从第二章开始，我们将开始介绍PKE的实验。在完成PKE的5个实验后，本书的第七章将给出操作系统课程设计题目。
+- **代码的极简化**
 
- 
-<a name="references"></a>
-参考文献：
+  **代理内核能够通过HTIF接口与主机通讯来完成简单I/O操作、以及对文件数据的访问，能够（至少在内核初始阶段）实现与设备的无关性**。这一点能够有效避免采用传统操作系统内核设计作为《操作系统原理》辅助实验的场景中，学生因为一上来就迷失在设备初始化、复杂文件系统等（这些往往需要另外的指导手册）内容中出不来，最后不得不放弃的情况。
+
+- **系统规模随应用变化**
+
+  **代理内核的设计，往往只需要满足给定应用的执行，所以它自身的规模与复杂度是跟应用的要求紧密联系的**。当应用相对简单时，代理内核的设计只需要很少量的代码就能够完成。例如，为了在第一个实验中支持“Hello world!”应用程序的执行，我们的PKE实验代码（[riscv-pke](https://gitee.com/hustos/riscv-pke)）只需要500行代码；即使做到支持多任务应用这种复杂场景，我们的PKE实验代码也只需要1000行代码！
+
+- **概念和功能上的完整性**
+
+  **代理内核在实现代码规模的极简化的同时，并未牺牲作为一个操作系统在概念和功能上的完整性**。这是因为虽然它的设计将I/O交给了HTIF和与主机进行的通讯，代理内核仍然必须考虑对处理器、内存这些计算机“核心资产”的管理。同时，在系统能力培养实验阶段，代理内核还将管理连接到目标机（target）的定制化的设备的管理。所以，代理内核的设计极大地保留了操作系统的完整性。
+
+
+
+从实验的构成来看，PKE共开发了四组实验。其中前三组实验是为《操作系统原理》课程开发的配套实验，这三组实验分别涵盖了中断、内存管理，以及进程调度等操作系统原理的核心内容。PKE的第四组实验面向的是《系统能力培养》课程，该实验将发挥代理内核的实用性特点，在搭载了RISC-V处理器核的FPGA开发板（我们采用的是PYNQ Z1）上，实现所开发操作系统内核的部署以及软硬协同设计，从而实现如[视频](https://www.bilibili.com/video/BV1aL4y1A7RS/?vd_source=a17fc28107fa1bd622ace79a17bd6e54)所示的采用蓝牙进行操控的Arduino小车。本书采用代理内核的思想来构建《操作系统原理》课程的实验内容，并以此为基础，进而构造《系统能力培养》课程的实验内容。
+
+从工程设计的角度来看，课程实验内容的设计具有以下特点：
+
+- **循序渐进、突出阶段性重点**
+
+  采用代理内核的概念设计的**操作系统实验就能够做到将重点放在处理器、内存这些核心资产的管理上**，同时，在**其扩展阶段（系统能力培养实验）再将重点转移到I/O设备上**，从而形成一个相对完整的计算机系统。
+
+- **基础和挑战并存**
+
+  **在PKE的每组实验中，我们将设计基础实验和挑战实验两个部分**。读者在完成基础试验后，可以选择自己感兴趣的挑战实验进一步加深对所学知识的理解。同时，也可以**发挥自己的想象力**，“发明”新的挑战实验，以获得更大的满足感（和更高的成绩）。
+
+- **教学性和实用性并存**
+
+  本书中代理内核的设计，**面向的运行环境为采用精简指令集RISC-V的64位机器（支持RV64G）**。通过操作系统和系统能力培养部分实际系统的设计，读者能够在64位（今天广为采用且将来不大可能过时）的基础上，了解RISC-V指令集以及采用该指令集的计算机设计相关的知识。同时，由于代理内核本身有其实际工程意义，读者能够在实验的基础上，自己“发明”更有趣的计算机系统并对其进行验证。
+
+
+
+完成操作系统部分的实验，读者需要具备以下知识：C语言（熟练掌握）、汇编语言（了解基础知识）、操作系统原理（了解基础知识）、计算机系统结构（了解基础知识）、Linux的使用（了解）；完成系统能力培养部分的实验，读者还需要具备以下知识：Verilog程序设计语言（了解基础知识）、FPGA开发（了解基础知识）、计算机接口技术（了解基础知识）。
+
+本书的组织结构如下：我们将在第一章介绍RISC-V计算机的体系结构的相关知识；第二章介绍实验环境的安装和使用；第三章到第六章为操作系统实验部分，分别设计了中断、内存管理和进程管理三个操作系统原理基础知识点的相关实验；第七章为系统能力培养部分，实验通过软硬协同的设计，实现一个真实可用的能够响应蓝牙控制信号的Arduino小车。
 
-[ProxyKernel] RISC-V Proxy Kernel and Boot Loader. https://github.com/riscv/riscv-pk
 
- 
\ No newline at end of file