Hello, World

1. Introduction

Hello, world. This is the first document in the series, mostly to check that everything renders.

2. Scope

Documents in this series cover infrastructure, networking, observability, and the TCP/IP stack the author is building for seL4. Each is numbered sequentially and, once published, is not rewritten; corrections are issued as new documents. An Atom feed lists published documents.

3. Reference Implementation

#include <stdio.h>

int main(void) {
  printf("hello, world\n");
  return 0;
}

4. Acknowledgements

The blog itself was built by Devin. All words and opinions are mine however.

Author's Address