Merging r245105: ------------------------------------------------------------------------ r245105 | ast | 2015-08-14 15:00:45 -0700 (Fri, 14 Aug 2015) | 1 line
Merging r245105:
------------------------------------------------------------------------
r245105 | ast | 2015-08-14 15:00:45 -0700 (Fri, 14 Aug 2015) | 1 line

[bpf] add documentation and instruction set description
------------------------------------------------------------------------


git-svn-id: 263342a87c3ff23ea578f8c5fbbb34c4b5dc855b@245112 91177308-0d34-0410-b5e6-96231b3b80d8

dslab-epfl/asap,dslab-epfl/asap,dslab-epfl/asap,dslab-epfl/asap,dslab-epfl/asap,dslab-epfl/asap,dslab-epfl/asap