Skip to content

Commit

Permalink
README: general updates
Browse files Browse the repository at this point in the history
* No longer keep "tentative repository structure" as most of the
  important stuffs have already been referenced elsewhere in README
* Add YouTube live links with anchors before the split version videos
  are released
  • Loading branch information
whentojump committed Sep 26, 2024
1 parent 1054cec commit 137c343
Showing 1 changed file with 9 additions and 31 deletions.
40 changes: 9 additions & 31 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,8 @@ development of the kernel patch set is being performed in the [xlab-uiuc/llvm-co
project.
-->

**LKML discussions: [link](https://lore.kernel.org/lkml/[email protected]/)**
**Patches can be found under [`patches/`](patches/), or join LKML discussions:
[link](https://lore.kernel.org/lkml/[email protected]/)**

Follow the instructions [here](docs/measure-kernel-mcdc.md) to get started.

Expand All @@ -25,40 +26,17 @@ Example HTML coverage report:

<img src="screenshot.png" width="70%">

Tentative repository structure:

```text
linux-mcdc
|
├── ci/linux-{v5.15.153,mainline}
│   ├── 1_install_deps.sh
│   ├── 2_pull_source.sh
│   ├── 3_get_llvm.sh
│   ├── 4_build_kernel.sh
│   └── 5_boot_kernel_and_collect_coverage.sh
|
├── docs
│   ├── elisa-slides.pdf
│   └── measure-kernel-mcdc.md
|
├── patches
│   ├── README.md
│   └── {v0.4,v0.5,v0.6,v1.0,v2.0,latest}
|
├── README.md
|
├── screenshot.png
|
└── scripts
├── build-llvm.sh
└── q
```

We are going to give three talks in [LPC 2024](https://lpc.events/event/18/page/224-lpc-2024-overview):
We gave three talks in [LPC 2024](https://lpc.events/event/18/page/224-lpc-2024-overview):

- [Making Linux Fly: Towards a Certified Linux Kernel](https://lpc.events/event/18/contributions/1718/) (Refereed Track)
[[recording](https://www.youtube.com/live/1KWkfHxTqYY?feature=shared&t=3957)]
[[slides](https://lpc.events/event/18/contributions/1718/attachments/1584/3477/LPC'24%20Fly%20(no%20animation).pdf)]
- [Measuring and Understanding Linux Kernel Tests](https://lpc.events/event/18/contributions/1793/) (Kernel Testing & Dependability MC)
[[recording](https://www.youtube.com/live/kcr8NXEbzcg?feature=shared&t=9380)]
[[slides](https://lpc.events/event/18/contributions/1793/attachments/1624/3447/LPC'24%20Linux%20Testing.pdf)]
- [Source-based code coverage of Linux kernel](https://lpc.events/event/18/contributions/1895/) (Safe Systems with Linux MC)
[[recording](https://www.youtube.com/live/kcr8NXEbzcg?feature=shared&t=23820)]
[[slides](https://lpc.events/event/18/contributions/1895/attachments/1643/3462/LPC'24%20Source%20based%20(short).pdf)]

We gave an [ELISA](https://elisa.tech/) seminar titled "Making Linux Fly: Towards Certified Linux
Kernel".
Expand Down

0 comments on commit 137c343

Please sign in to comment.