内容介绍

报告嘉宾:赵永望
报告名称:操作系统正确性及其验证技术
报告简介:
操作系统主要应用于航空、航天、轨道交通、无人系统等关健领域,它位于计算机系统软件栈的底层,操作系统的错误可能导致系统奔贵、被攻击等问题,因此操作系统的正确性尤为重要。本报告主要介绍操作系统验证的背景意义、国内外现状和面临的挑战,介绍操作系统正确性保障的方法和技术,并以内存管理模块为例进行验证实践。

报告嘉宾:彭天祥
报告名称:以 risc-v ucore 为例链接、烧录、启动介绍
报告简介:
入门 OS 开发时,困扰初学者的往往不是功能实现,而是在此之前的烧录、启动。本次报告将以结构较为简单 risc-v ucore OS 为例,首先介绍 PC 启动流程,以此类比帮助理解 K210 的启动过程。随后介绍简单的链接、elf/bin 文件格式等背景,并进一步解释镜像的制作。此外将现场演示如何烧录,同时对烧录工具进行简单剖析,最后总结开发、调试流程以及借助 Makefile 的自动化。

报告嘉宾:吴一凡
报告名称:rCore-Tutorial v3.5 在 k210 上的运行演示及开发指南
报告简介:
为了方便内核实现赛道的同学在 rCore-Tutorial v3.5 项目的基础上更容易上手开发自己的项目,我们首先介绍开发环境的搭建(基于 VMware 虚拟机镜像),接着展示如何从零开始将 Tutorial 成功跑起来,期间会涉及到一些常用的命令以及开发板 SD 卡的操作方式。最后,我们简要介绍开发和调试的流程,并给出一些相关建议。

报告嘉宾:李志锐
报告名称:RT-Thread Smart 到 K210 上的移植
报告简介:
本次报告会讲解针对于 K210 MMU 的 OpenSBI 的修改及编译并店合目前我所发现的 K210 存在的 9 大问题对 RT-Thread Smart 进行相关修改代码的讲解,同时介绍最终的完整编译烧写流程最后会介绍常见的操作系统 debug 方法。

报告嘉宾:刘一鸣、陆思彤
报告名称:xv6-k210 开发 101
报告简介:
xv6 是 MIT 开发的一个教学用类 UNIX 操作系统,并且在 MIT 的 0s 课程 6.828 中使用。而 xv6-k210 则是一次将 xv6 向 K210 开发板的移植、改造尝试。在本次报告中我们将会简单地介绍如回在 xv6-k210 进行开发,包括编译内核、烧录上板与串口调试。更进一步地,会介绍如何使用 RustSBI 作为 xv6-k210 的 bootloader 提供支持。同时,本次报告也会对此前同学们对 xv6-k210 开发提出的部分问题(主要是 Github 上的 Issues )进行统一答复,以便同学们能够更好地在 xV6-k210 上进行开发。

评论

发布
暂无评论