diff --git a/Gemfile b/Gemfile index 2b345e5..912a867 100644 --- a/Gemfile +++ b/Gemfile @@ -19,6 +19,7 @@ gem "minimal-mistakes-jekyll" group :jekyll_plugins do gem "jekyll-feed", "~> 0.12" gem 'jekyll-scholar' + gem 'jekyll-redirect-from' end diff --git a/_config.yml b/_config.yml index 4092d58..e05ac3f 100644 --- a/_config.yml +++ b/_config.yml @@ -12,6 +12,7 @@ theme: minima plugins: - jekyll-feed - jekyll-scholar + - jekyll-redirect-from markdown: kramdown kramdown: diff --git a/_posts/2023-11-06-cheriot-programmers-guide.markdown b/_posts/2023-11-06-cheriot-programmers-guide.markdown new file mode 100644 index 0000000..66a3189 --- /dev/null +++ b/_posts/2023-11-06-cheriot-programmers-guide.markdown @@ -0,0 +1,17 @@ +--- +layout: post +title: "CHERIoT Programmers' Guide drafts online" +date: 2023-11-06T15:49+00:00 +categories: book guide +--- + +You might have noticed a link in the header to the [CHERIoT Programmers' Guide](https://cheriot.org/book). +This is an early public draft and will be written in in full view of a live audience of tens (optimistically) of avid readers! + +This is using [AsciiDoxy](https://asciidoxy.org), which can parse Doxygen XML and generate AsciiDoc output, to include documentation for the CHERIoT RTOS APIs. +Doxygen, in turn, can use libclang for parsing. +The [book build container](https://github.com/CHERIoT-Platform/book/pkgs/container/book-build-container) contains a version of Doxygen built with the version of libclang from the CHERIoT compiler, which can then recognise the CHERIoT-specific attributes. +This lets it directly reference the RTOS source and should make it easy to update as the code evolves. + +Currently, all of the cross references that go between chapters are broken in the HTML version and there are likely to be a lot of other errors (typographical, factual, and grammatical). +This is a live document and will evolve over time, hopefully leading to fewer errors both in absolute numbers and as a proportion of the total text. diff --git a/book.markdown b/book.markdown new file mode 100644 index 0000000..f76bf54 --- /dev/null +++ b/book.markdown @@ -0,0 +1,4 @@ +--- +title: The CHERIoT Programmers' Guide +redirect_to: https://cheriot.org/book +---