Merge pull request #5 from VitalyAnkh/master

mdbook config update, add missing code in the tutorial
dev
Runji Wang 6 years ago committed by GitHub
commit 723908d674
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -4,5 +4,22 @@ language = "cn"
multilingual = false
src = "src"
title = "简明 zCore 教程"
[rust]
edition = "2018"
[output.html.playpen]
editable = true
[output.html]
git-repository-url = "https://github.com/rcore-os/zCore-Tutorial"
# mathjax-support = true
# [preprocessor.mathjax]
# renderers = ["html"]
[output.html.search]
enable = true
limit-results = 30
teaser-word-count = 30
use-boolean-and = true
boost-title = 2
boost-hierarchy = 1
boost-paragraph = 1
expand = true
heading-split-level = 3

@ -113,6 +113,7 @@ Rust 是一门部分面向对象的语言,我们通常用它的 trait 实现
首先创建一个 `KernelObject` trait 作为内核对象的公共接口:
```rust,noplaypen
use alloc::string::String;
// src/object/mod.rs
/// 内核对象公共接口
pub trait KernelObject: Send + Sync {

Loading…
Cancel
Save