source: mainline/kernel/generic@ 2d03471

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Name Size Rev Age Author Last Change
../
src ccb426c   15 years martin improve other kernel printouts
include 09a0bd4a   15 years martin initial properties annotation and verification support (does not do …
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.