原创 ARMv8 Fast Models 安裝 SierraTEE
一.安裝前的準備 軟件資源： 1.SierraTEE:Open Virtualication 官網提供的支持ARM v8的TEE框架，下載路徑爲http://openvirtualization.org/downloadsoft
2020-06-15 14:55:39
6
原创 seL4系統調用
seL4 系統調用 seL4微內核爲線程間通信提供了一個消息傳遞服務。這個服務也被使用於內核提供的服務的通信中。這是一個標準的消息格式，每個消息包含了數據字以及有可能有一些能力。這些消息的結構體和編碼被詳細的在第四部分記載。 線程
2020-06-15 14:55:39
3
原创 seL4 內核服務、對象以及基本能力訪問和控制
內核服務和對象 微內核提供了一些有限的原始服務，更多複雜的服務要在這些原始服務基礎上像應用程序一樣實現。以此種服務，此係統的功能可以被拓展而不用增加特權模式下的代碼和複雜度，雖然在應用程序域潛在的支持相當廣泛的服務。 seL4
2020-02-25 19:13:23
7
原创 ARM虛擬化調研
===========ARM虛擬化調研報告================================================= 調研報告，總的來說調研結果如下： 1） 當前ARM虛擬化背景: a)
2020-02-25 19:13:23
4
原创 OpenVirtualization otzon 學習筆記
目錄 一、文件目錄 secure_main.c(armv8) void guest_load_image (va_t src, pa_t dest, unsigned long size) src : 安全內核的虛擬地址
2020-02-25 19:13:12
3
原创 ARM V8 Fast Models 安裝和使用
一. ARMv8 foundation Models 這是ARM官網提供的一個固定虛擬平臺 ，安裝和使用比較簡單，我們從這個開始。 1.首先，我們需要從官網下載ARM V8 Foundation Model壓縮包（需要進行註冊）
2020-02-25 19:13:12
7
原创 arm指令集速查
指令集 (快速查找) 在本文檔的彙編語法中，用 # 前綴表示立即值，用 & 表示十六進制值，用 % 表示二進制值，用 {花括號} 表示指令中可選的設置字段或位。下面表格中粗體的指令是核心 ARM 指令，其他的是值得包含的位和片段、
2020-02-25 19:13:12
2
原创 ARM V8框架結構下的開發平臺
Juno ARM 開發平臺 Juno ARM開發平臺（ADP）是一款 ARMv8-A 軟件開發平臺，它包括 Juno Versatile Express 開發板和一個從 Linaro 獲得的 ARMv8-A 參考軟件端口，Juno
2020-02-25 19:13:12
原创 seL4 參考手冊目錄
seL4 reference PDF 1.介紹：1 2.內核服務與對象：2 2.1 基於能力（capability）的訪問控制：2 2.2 系統調用：3 2.3 內核對象：4 2.4 內核內存分配：5 2.4.1 重用內存：6
2018-12-23 14:31:21
9