エンドユーザがデバイスの真正性を検証できるという事で有名になったPrecursorのチェックメモ。チェックしている図面はevt2。
https://github.com/betrusted-io/betrusted-wiki/wiki#trng-chroniclesにある資料が元になっているので、その内容を読めばこのメモを読まなくても良い。
Kei Hosoya rizaudo
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ;;; M-x coq-vi-modeでマイナーモードとして使ってください | |
| (define-minor-mode coq-vi-mode | |
| "Vi like proof in Proof General" | |
| :lighter "coq-vi" | |
| :keymap (let ((map (make-sparse-keymap))) | |
| (define-key map "j" 'proof-assert-next-command-interactive) ;C-c C-n | |
| (define-key map "k" 'proof-undo-last-successful-command) ;C-c C-u | |
| map) | |
| ) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (defun help-me-rubikitch-san (package) | |
| (interactive "MPackageName:") | |
| (eww-browse-url (concat "http://rubikitch.com/tag/package:" package "/"))) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (defface extra-ws | |
| '((t (:background "blue" :foreground "black" :height 0.8)) | |
| :group 'hi-lock-faces)) | |
| (font-lock-add-keywords 'agda2-mode ;mode-name | |
| '(("[ℕτΓ]" . 'extra-ws) ;("正規表現" .'face-name) | |
| (" " . 'trailing-whitespace) | |
| ("[ \t]+$" . 'trailing-whitespace) | |
| )) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (defn char-range [start end] | |
| (apply str (map char (range (int start) (+ 1 (int end)))))) | |
| user=> (char-range \a \z) | |
| "abcdefghijklmnopqrstuvwxyz" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| home/rizaudo/osv/scripts/mkzfs.py -o bare.img -d bare.img.d -m /home/rizaudo/osv/build/release/bootfs.manifest | |
| qemu-system-x86_64: -netdev user,id=un0,net=192.168.122.0/24,host=192.168.122.1: could not set up host forwarding rule 'tcp:2222::22' | |
| qemu-system-x86_64: -netdev user,id=un0,net=192.168.122.0/24,host=192.168.122.1: Device 'user' could not be initialized | |
| Traceback (most recent call last): | |
| File "/home/rizaudo/osv/scripts/mkzfs.py", line 44, in <module> | |
| upload_manifest.upload(osv, manifest, depends) | |
| File "/home/rizaudo/osv/scripts/upload_manifest.py", line 62, in upload | |
| s.connect(("127.0.0.1", 10000)); | |
| File "/usr/lib/python2.7/socket.py", line 224, in meth | |
| return getattr(self._sock,name)(*args) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Debian(MainKVMHost): | |
| /home/keihosoya/osv/scripts/mkzfs.py -o bare.img -d bare.img.d -m /home/keihosoya/osv/build/release/bootfs.manifest | |
| qemu-system-x86_64: -device virtio-rng-pci: Parameter 'driver' expects device type | |
| Traceback (most recent call last): | |
| File "/home/keihosoya/osv/scripts/mkzfs.py", line 40, in <module> | |
| upload_manifest.upload(osv, manifest, depends) | |
| File "/home/keihosoya/osv/scripts/upload_manifest.py", line 58, in upload | |
| s.connect(("127.0.0.1", 10000)); | |
| File "/usr/lib/python2.7/socket.py", line 224, in meth | |
| return getattr(self._sock,name)(*args) |