エンドユーザがデバイスの真正性を検証できるという事で有名になったPrecursorのチェックメモ。チェックしている図面はevt2。
https://github.com/betrusted-io/betrusted-wiki/wiki#trng-chroniclesにある資料が元になっているので、その内容を読めばこのメモを読まなくても良い。
エンドユーザがデバイスの真正性を検証できるという事で有名になったPrecursorのチェックメモ。チェックしている図面はevt2。
https://github.com/betrusted-io/betrusted-wiki/wiki#trng-chroniclesにある資料が元になっているので、その内容を読めばこのメモを読まなくても良い。
;;; 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) | |
) |
(defun help-me-rubikitch-san (package) | |
(interactive "MPackageName:") | |
(eww-browse-url (concat "http://rubikitch.com/tag/package:" package "/"))) |
(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) | |
)) |
(defn char-range [start end] | |
(apply str (map char (range (int start) (+ 1 (int end)))))) | |
user=> (char-range \a \z) | |
"abcdefghijklmnopqrstuvwxyz" |
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) |
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) |