Type Name Latest commit message Commit time
Failed to load latest commit information.
charter fix travis build Feb 13, 2018
examples PSA Add README to psa/examples/historical directory Oct 20, 2018
figs PSA Fix some typos, clean up a few things, progress towards v1.0 Feb 10, 2018
Makefile PSA - Remove obsolete extern definition of ValueSet from psa.p4 inclu… Oct 20, 2018
PSA.mdk Add a bash script that installs Madoko on Ubuntu Linux systems Nov 6, 2018
p4.json copy p4.json instead of linking so that docker can build docs Jun 27, 2017
psa-profiles.mdk adds PSA profiles as a separate file Nov 6, 2017
psa.p4 addressed reviewer's comments Nov 6, 2018
std_switch.png adds std arch draft (#122) Jun 23, 2017

Portable Switch Architecture

Setup instructions

See the README for the P4_16 language specification for instructions on installing software that enables you to produce HTML and PDF versions of the PSA specification from its Madoko source file.

Spec release process

  • increment version number in the document and commit
  • merge to master and tag the commit with psa-version (e.g. psa-v0.9)
  • generate the PDF and HTML
  • checkout the gh-pages branch and copy to /docs as PSA-.[html,pdf]
  • update links in /index.html
  • add files, commit and push the gh-pages branch
  • checkout master, change the Title note to (working draft), commit and push

Someday we'll write a script to do this.