Add summary slide about range.

Drop slides about proving power of 2 function.

More updates.

Reworking after run through with Paolo.

Fix z3.

notes.txt: Add link to Z3 model_compress bug.

6xxx strlen and 9xxx conclusions.

5xxx functions from nbdkit.

Slides for 4xxx.

Slides for 3xxx.

Slides for 2xxx.

Add outline of slides.

Add page breaks in notes.

Add resources.

Update notes for talk on Frama-C.

Add notes for talk on Frama-C.

goals: Fix tactic/predicate mix up in one slide.

Further goals slides updates.

Update notes.

Updated goals talk for tech talk.

Tactics -> predicates.

Mention other todo items.

Other cleanups.

Update notes.

Update notes.

Further goals notes.

Start on goals presentation.

Update notes on goals.

Add notes for talk on goals.

2800: Larger font.

6600: Slightly nicer terminal window.

8400: Replace <pre> graph with <table>.

8300: Graphics showing polling.

8200: Graphics for on-wire packets.

8000: Use graphics in header row.

Avoid sudo during restore.

Although mknod requires sudo, rm does not.

6200: Reduce dependency on particular username.

Requires the external creation of a symlink vddk-6.7.

6800 - add f-bird as a backup.

1000 - tighten up text and remove Xs

Add final 2500 slide about imageio.

Only add table borders when desired.

8000: Add pro/con table.

4300: Polish slide by changing <pre> to <table>.

Remove redundant lines from ./restore script.

Add Oscar's FBird demo.

Updates to lightning talk.

4500: Replace <pre>-graph with nicer image.

Update lightning talk.

Outline lightning talk.

9000: Replace XXX with summary line.

4700: Color-code nbdkit changes.

Tweak minimum version of nbdkit to match fast-zero and reflection demos.

6600, 6800: Use banner function for credits.

Make titles larger red background, white text.

Also add a banner function which can be used by other code for the
same effect.  Unfortunately we cannot reuse that function to display
the title.

Tweak $title display in .term/.sh.

2600: Highlight raw.xz.

4700: Make filters box large enough to contain all filters.

Ensure logo does not collide with <h1> horizontal bar.

Drop 41xx slides dissecting an NBD command.

Instead, save the script backstory for offline, and leave the power of
nbdkit to the 6000 slides.  The 4000 slides now focus on just
improving qemu-img convert.

Swap slides about qemu-nbd in imageio and rhv to kubevirt.

Improves flow.

Drop slide 2500 about replacing TFTP.

Not very interesting.

Use Pyrit demo, also by Jan Kadlec.

Misc updates to 2xxx slides.

Add potential graph to 4500.

Need an actual graphic rather than a <pre>, but this was quick-and-dirty.

First cut at 8000- slides to match notes.

Update 4700 with actual list, note about file.

Tweaks to ./restore.

Only attempt sudo when needed, vet myself as willing to use it

Initial notes for 8000 slides on resize.

More work on the 4000- fast zero slides.

Update nbdkit script box to 1.14 release.

Still needs a style.css change to make it look good...

Mention xfce4-terminal as requirement for .sh slides.

6200, 6400: Use pushd/popd so we run ./restore in the right directory.

List requirements in one file.

So if we have to jump on to a new laptop at short notice, we
know what we need to install.

2300, 2500: Further fixes to slides.

2200: Fix lost text.

Fixes commit 30bd9d843e14cb6db9f42fa60e7a023a5e5ca86d.

Continue 6000 slides.

Use div class=allcenter around all images.

This centers them on the page.

6000-series of slides about fun things to do with nbdkit

Add setup slide for fastzero demo.

Fix .term bindings for commands with embedded ".

The history file was correct (using reverse search or up arrow), but
the key binding needs injected escapes to have correct syntax.

Add beginnings of final slide.

Run with self-built binaries.

Necessary since I want to demo features that are not yet in stable
releases, so stock Fedora 30 binaries don't show off more recent
additions.

Assumes that ~/d/$PROJ is the build directory for each of qemu,
nbdkit, and libnbd.  (Matches what was done in 2019-tech-introductions)

Initial fast zero case study notes.

Slides will be in the 4000- range

Minor updates to introduction.

Add more introduction section slides.

2200-point-in-time-snapshot.html
2300-virt-v2v-to-vddk.html
2400-qemu-nbd-server.html
2450-convert-rhv-to-kubevirt.html
2500-nbdkit-linuxdisk-remote-boot.html
2600-remote-boot-risc-v.html
2700-nbdkit-sh-for-testing.html
2800-communicate-between-processes.html

First two slides.

Use Red Hat Text font.

Note: In Fedora requires "redhat-text-fonts" package installed.

Update to new Red Hat brand.

Begin 2xxx section which will be the short introduction to NBD.

Fix Eric's email address.

Highlight NBD definition in abstract.

Remove old lines from .gitignore.

Add outline first slide of talk.

Add slide about using NBD to test Fedora RISC-V VMs.

Add notes for a short introduction to NBD.

Add qemu, qemu-nbd changes.

Changes in nbdkit.

Changes in libnbd.

Background papers for NBD talk.

Add placeholder for discussion about NBD.

Set PATH to include local nbdkit.

Add list of topics.

Add pre-slides about virt-v2v, IMS.