[B! driver] masterqã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

masterq id:masterq

driverã«é–¢ã™ã‚‹masterqã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (40)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

[CUDA] NVIDIA GPUã‚„CUDAå‘¨ã‚Šã®äº’æ›æ€§ã‚’ç†è§£ã—ãŸã‹ã£ãŸ
ã‚ˆãã‚ã‹ã‚‰ãªã‹ã£ãŸã®ã§ã€èª¿ã¹ã¦æ•´ç†ã—ã‚ˆã†ã¨ã—ãŸè©¦ã¿ã€‚ Compute Capability GPU ãƒãƒ¼ãƒ‰ã‚¦ã‚§ã‚¢ãŒã‚µãƒãƒ¼ãƒˆã™ã‚‹æ©Ÿèƒ½ã‚’è˜åˆ¥ã™ã‚‹ãŸã‚ã®ã‚‚ã®ã§ã€ä¾‹ãˆã° RTX 3000 å°ã§ã‚ã‚Œã° 8.6 ã§ã‚ã‚‹ãªã©ã€ãã®ãƒãƒ¼ãƒ‰ã‚¦ã‚§ã‚¢ã«å¯¾å¿œã—ã¦ä¸€æ„ã«æ±ºã¾ã‚‹ã€‚ ã‚¢ãƒ¼ã‚ãƒ†ã‚¯ãƒãƒ£ã®ä¸–ä»£ãŒæ–°ã—ããªã‚Šã€æ©Ÿèƒ½ãŒå¢—ãˆã‚‹ã»ã©ã€ã“ã®æ•°å—ã‚‚ä¸ŠãŒã£ã¦ã„ãã€‚ ä»¥ä¸‹ã®ãƒªãƒ³ã‚¯å…ˆã«ã€Compute Capability ã¨æ©Ÿèƒ½ã®å¯¾å¿œè¡¨ãŒã‚ã‚‹ãŒã€ã“ã‚Œã‚’è¦‹ã‚‹ã¨ï¼ˆå°‘ãªãã¨ã‚‚åŸ·ç†æ™‚ç‚¹ã§ï¼‰ Compute Capability 7.x ä»¥ä¸Šã§ãƒ†ãƒ³ã‚½ãƒ«ã‚³ã‚¢ãŒä½¿ãˆã‚‹ã¨ã„ã£ãŸã“ã¨ãŒã‚ã‹ã‚‹ã€‚ ãã‚Œãžã‚Œã®æ©Ÿç¨®ãŒã©ã®å€¤ã‹ã¯ä»¥ä¸‹ã®ã‚µã‚¤ãƒˆã‹ã‚‰ç¢ºèªã§ãã‚‹ã€‚ NVIDIA Driver ã®ãƒãƒ¼ã‚¸ãƒ§ãƒ³ Compute Capabl ity ä¸€èˆ¬å‘ã‘ã® Compute Capability ã¨ã®é–¢é€£æ€§ã¯è¦‹ã¤ã‹ã‚‰ãªã‹ã£ãŸãŒã€ãƒ‡ãƒ¼ã‚¿ã‚»ãƒ³ã‚¿å‘ã‘ã®è³‡æ–™ã«ã¯ Maxwe
masterq 2024/07/05
ã‚„ã‚„ã“ã—ã„ "Compute Capability 7.x ä»¥ä¸Šã§ãƒ†ãƒ³ã‚½ãƒ«ã‚³ã‚¢ãŒä½¿ãˆã‚‹"

nvidia

gpu

cuda

driver

linux

gpgpu
ãƒªãƒ³ã‚¯
linux/drivers/net/phy/ax88796b_rust.rs at master Â· torvalds/linux
masterq 2024/07/04
2024-07-04æ™‚ç‚¹ã§å”¯ä¸€mergeã•ã‚ŒãŸRustè£½ãƒ‡ãƒã‚¤ã‚¹ãƒ‰ãƒ©ã‚¤ãƒ

phy

ethernet

rust

linux

kernel

device

driver
ãƒªãƒ³ã‚¯
brltty silently blocks CH340 USB driver under Linux Mint 20/21 Â· Issue #1788 Â· arduino/arduino-ide
masterq 2024/03/06
apt-get purge brltty

usb

serial

linux

driver
ãƒªãƒ³ã‚¯
OSè‡ªä½œ~QEMUç”¨ãƒ“ãƒ‡ã‚ªãƒ‰ãƒ©ã‚¤ãƒã®åŸºç¤Ž~ï½œLearningHorse
æœ€å¾Œã«ã€Œæ¬¡å›žã¯è§£åƒåº¦ã®å–å¾—ãƒ»è¨å®šæ–¹æ³•ã®èª¿æŸ»ã¨å®Ÿè£…ã€ã‚’ã™ã‚‹ã¨æ›¸ã„ãŸã‚“ã§ã™ãŒã€ã¡ã‚‡ã£ã¨æ™‚é–“ãŒãªã‹ã£ãŸã®ã§ä»Šå›žã¯å–å¾—æ–¹æ³•ã®å®Ÿè£…ã¾ã§ã§ã™ã€‚ ãƒ“ãƒ‡ã‚ªãƒ‰ãƒ©ã‚¤ãƒãƒ¼ã§ã‚„ã‚ŠãŸã„ã“ã¨è§£åƒåº¦ã¨ã‹FrameBufferã®å–å¾—æ–¹æ³•ã®è©±ã‚’æ›¸ã„ã¦ã¾ã™ã‘ã©ã€æœ€çµ‚çš„ã«ä½œã‚ŠãŸã„ã®ã¯ãƒ“ãƒ‡ã‚ªãƒ‰ãƒ©ã‚¤ãƒã§ã™ã€‚ãªã®ã§ã€ä¸€åº¦ä½œã‚ã†ã¨æ€ã£ã¦ã‚‹ãƒ“ãƒ‡ã‚ªãƒ‰ãƒ©ã‚¤ãƒã«ã¤ã„ã¦å…·ä½“çš„ã«èª¬æ˜Žã—ã¾ã™ã€‚ ã¾ãšã€å‰å›žã‚„ã£ãŸã‚ˆã†ã«PCIeãƒ‡ãƒã‚¤ã‚¹ã®æŽ¢ç´¢ã‚’ã—ã¦ã€ãƒ“ãƒ‡ã‚ªã‚«ãƒ¼ãƒ‰ãŒè¦‹ã¤ã‹ã‚‹ã¨ã€ãƒ™ãƒ³ãƒ€ãƒ¼IDã‚’ç¢ºèªã—ã¦ã€ãã‚Œã«å¯¾å¿œã™ã‚‹ãƒ‰ãƒ©ã‚¤ãƒãƒ¼ã‚’é€£ã‚Œã¦ãã¾ã™ã€‚ ã“ã“ã§ãƒ‰ãƒ©ã‚¤ãƒãƒ¼ã¯GPUã¨MMIO(Memory Mapped I/O)ã‚’é€šã˜ã¦æƒ…å ±ã‚’ã‚„ã‚Šå–ã‚Šã—ã€è§£åƒåº¦ã‚„ã‚‰ãƒ“ãƒƒãƒˆæ·±åº¦ã‚„ã‚‰ã®è¨å®šã‚’ã—ã¾ã™ã€‚ä»Šå›žã¯ã“ã‚Œã®åŸºç¤Žä½œã‚Šã§ã™ã€‚ ãã—ã¦ã€ãã®å…ˆã«ã¯ã‚¹ãƒšã‚·ãƒ£ãƒ«ãƒ•ã‚¡ã‚¤ãƒ«ã‚’ä½¿ã£ã¦ãƒ¦ãƒ¼ã‚¶ãƒ¼ç©ºé–“ã‹ã‚‰ãƒ•ãƒ¬ãƒ¼ãƒ ãƒãƒƒãƒ•ã‚¡ãƒ¼ã«æ›¸ãè¾¼ã‚ã‚‹ã‚ˆã†ã«ã—ã¦ã€Xorgã®ã‚ˆã†ãªã‚°ãƒ©ãƒ•ã‚£ãƒƒã‚¯ã‚·ã‚¹ãƒ†ãƒ ã§åˆ¶å¾¡ã§ãã‚‹ã‚ˆ
masterq 2023/08/25
os

qemu

video

driver

pci

doc
ãƒªãƒ³ã‚¯
Linux device drivers: bind and unbind
masterq 2023/02/14
driver

linux

kernel

bind

sysfs

filesystem

code

source
ãƒªãƒ³ã‚¯
Manual driver binding and unbinding [LWN.net]
One new feature in the 2.6.13-rc3 kernel release, is the ability to bind and unbind drivers from devices manually from user space. Previously, the only way to disconnect a driver from a device was usually to unload the whole driver from memory, using rmmod. In the sysfs tree, every driver now has bind and unbind files associated with it: $ tree /sys/bus/usb/drivers/ub/ /sys/bus/usb/drivers/ub/ |--
masterq 2023/02/14
"simply write the bus id of the device you wish to bind, into the bind file for that driver: echo -n "1-1:1.0" > /sys/bus/usb/drivers/usb-storage/bind" å¯Œè±ªçš„ã ãªã

driver

linux

kernel

bind

sysfs

filesystem
ãƒªãƒ³ã‚¯
Linuxã®ãƒ‰ãƒ©ã‚¤ãƒã®åˆæœŸåŒ–ãŒå‘¼ã°ã‚Œã‚‹æµã‚Œ - Qiita
2017å¹´ã‚‚æ®‹ã‚‹ã¨ã“ã‚1ãƒ¶æœˆã‚’åˆ‡ã‚Šã¾ã—ãŸã€‚ã„ã‚ˆã„ã‚ˆã§ã™ãã€å¾…ã¡é ã—ããªã£ã¦ãã¾ã—ãŸã€ $\textlarge{é¡éŸ³ãƒªãƒ³ãƒ»ãƒ¬ãƒ³èª•ç”Ÿç¥ï¼}$ 10å‘¨å¹´ã‚’è¿Žãˆã¦è¨˜å¿µã®ã‚³ãƒ³ãƒ”ã‚¢ãƒ«ãƒãƒ CDã‚‚ãŸãã•ã‚“ç™ºè¡¨ã•ã‚ŒãŸã‚Šã¨ã€ãƒœãƒ¼ã‚«ãƒã‚¤ãƒ‰ç•Œéšˆã®å‹¢ã„ã¯è¡°ãˆã¾ã›ã‚“ã€‚ãã“ã€ãƒŸã‚¯ã•ã‚“ã®å˜åœ¨ãŒå¤§ããã¦ã»ã‹ã¯å½±ãŒè–„ã„ã¨ã‹è¨€ã‚ãªã„ã€‚ã¼ãã ã£ã¦ã“ã‚“ãªã«ãƒãƒžã‚‹ã¨ã¯æ€ã‚ãªã‹ã£ãŸã‚“ã§ã™ã€‚10å¹´å‰ã¯ãƒžã‚¸ãƒ¡ã«æŠ€è¡“çš„ãªè©±ã ã‘ã‚’è¿½ã£ã¦ã„ãŸã¯ãšãªã®ã«ã€ã©ã†ã—ã¦ã“ã†ãªã£ãŸã€‚ã“ã‚“ãªåœ°å‘³ãªãƒ—ãƒã‚°ãƒ©ãƒ ç³»è¨˜äº‹ã‚’æ›¸ãã‚ˆã†ãªãŠã£ã•ã‚“ã˜ã‚ƒãªãã¦ã€ãƒªãƒ³ã¡ã‚ƒã‚“ã®æ›²ã‚’ä½œã‚‹è¶…å£²ã‚Œã£åãƒœã‚«ãƒPã«ç”Ÿã¾ã‚ŒãŸã‹ã£ãŸã§ã™ã€‚ ãƒ»ãƒ»ãƒ»å¤±ç¤¼ã—ã¾ã—ãŸãƒ»ãƒ»ãƒ» æœ¬å½“ã®ã¯ã˜ã‚ã« Linuxã®kernelã«ã¯ã˜ã‚ã¦è§¦ã£ã¦ã¿ã‚‹ãã£ã‹ã‘ã«ãªã£ãŸã®ã¯ãƒ‰ãƒ©ã‚¤ãƒã®çµ„ã¿è¾¼ã¿ã‚„ä¿®æ£ã ã€ã¨ã„ã†äººãŒå¤šã„ã‚“ã˜ã‚ƒãªã„ã‹ã¨æ€ã†ã€‚ç¾ä»£çš„ãªOSã§ã¯ã‚„ã‚‰ãªãã¦ã¯ã„ã‘ãªã„ã“ã¨ã¯éžå¸¸ã«å¤šå²ã«ã‚ãŸã‚‹ã‘ã©ã€ãã‚“ãªå…¨ä½“åƒã®ã“ã¨ã¯ã‚
masterq 2022/01/21
matchã®è©±ãŒçŸ¥ã‚ŠãŸã‹ã£ãŸã€‚Rust for Linuxã«ã¯2024-07-05æ™‚ç‚¹ã§ã¯module_initã¯ã‚ã‚‹ãŒmodule_exitãŒæº–å‚™ã•ã‚Œã¦ã„ãªã„æ°—ãŒã™ã‚‹

linux

kernel

driver

attach

doc

japanese

init

module
ãƒªãƒ³ã‚¯
çµ„ã¿è¾¼ã¿Linuxãƒ‡ãƒã‚¤ã‚¹ãƒ‰ãƒ©ã‚¤ãƒã®ä½œã‚Šæ–¹ (1) - Qiita
1å›žç›®: ãƒ“ãƒ«ãƒ‰ç’°å¢ƒæº–å‚™ã¨ã€ç°¡å˜ãªã‚«ãƒ¼ãƒãƒ«ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã®ä½œæˆ æœ¬é€£è¼‰ã«ã¤ã„ã¦ çµ„ã¿è¾¼ã¿Linuxã®ãƒ‡ãƒã‚¤ã‚¹ãƒ‰ãƒ©ã‚¤ãƒã‚’ã‚«ãƒ¼ãƒãƒ«ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã¨ã—ã¦é–‹ç™ºã™ã‚‹ãŸã‚ã®HowToè¨˜äº‹ã§ã™ã€‚æœ¬è¨˜äº‹ã®å†…å®¹ã¯å…¨ã¦ãƒ©ã‚ºãƒ‘ã‚¤(Raspberry Pi)ä¸Šã§å‹•ã‹ã›ã¾ã™ã€‚ Linuxãƒ‡ãƒãƒ‰ãƒ©é–‹ç™ºã¯æœ€åˆã®ä¸€æ©ãŒé›£ã—ã„ã¨æ€ã„ã¾ã™ã€‚è³‡æ–™ã‚‚å°‘ãªãã€ãŸã„ã¦ã„ã®äººã¯ã‚ªãƒ©ã‚¤ãƒªãƒ¼æœ¬ã«æ‰‹ã‚’å‡ºã—ã¦æŒ«æŠ˜ã™ã‚‹ã¨æ€ã„ã¾ã™ã€‚(åƒ•ãŒãã†ã§ã—ãŸã€‚ã€‚ã€‚) ã“ã®è¨˜äº‹ã§ã¯ã€ã€ŒLinuxãƒ‡ãƒã‚¤ã‚¹ãƒ‰ãƒ©ã‚¤ãƒãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚° (å¹³ç”° è±Š) ã€ã®å†…å®¹ã«æ²¿ã£ã¦é€²ã‚ã¦ã„ã“ã†ã¨æ€ã„ã¾ã™ã€‚ã“ã®æœ¬ã¯éžå¸¸ã«åˆ†ã‹ã‚Šã‚„ã™ãè‰¯æ›¸ã ã¨æ€ã„ã¾ã™ã€‚ãŸã ã€2008å¹´ç™ºè¡Œã¨å¤ã„ã®ã§ã€ç¾åœ¨(2017å¹´12æœˆ)ã®ç’°å¢ƒã§ã‚‚å‹•ãã‚ˆã†ã«ã€å®Ÿéš›ã«Raspberry Piã§å‹•ã‹ã—ãªãŒã‚‰ç¢ºèªã—ã¦ã„ã“ã†ã¨æ€ã„ã¾ã™ã€‚(é€”ä¸ã‹ã‚‰ã€æœ¬ã®å†…å®¹ã¨ã¯é›¢ã‚Œã¾ã™) ã¾ãŸã€å‡ºæ¥ã‚‹ã ã‘ç°¡å˜ã«ã—ãŸã‹ã£ãŸã®ã§ã€ã‚¯ãƒã‚¹é–‹ç™ºç’°å¢ƒã¯æ•´ãˆãšã€ãƒ©
masterq 2021/09/14
linux

kernel

device

driver

doc

japanese

gpio

ioctl

i2c
ãƒªãƒ³ã‚¯
Ubuntu 18.04 + MSI MPG X570 GAMING PRO(AX200)ã§wifiã‚’èªè˜ã—ãªã„
wifiã‚’æè¼‰ã—ãŸãƒžã‚¶ãƒ¼ãƒœãƒ¼ãƒ‰ MSI MPG X570 GAMING PRO CARBON WI-FI ATX ãƒžã‚¶ãƒ¼ãƒœãƒ¼ãƒ‰ [AMD X570ãƒãƒƒãƒ—ã‚»ãƒƒãƒˆæè¼‰] MB4780 Ubuntu 18.04 Desktopã‚’ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ«ã—ãŸã¨ã“ã‚ã€wifiãŒèªè˜ã—ã¾ã›ã‚“ã§ã—ãŸã€‚ wifiãƒ‰ãƒ©ã‚¤ãƒã®è¿½åŠ ã“ã¡ã‚‰ã«åŠ©ã‘ã‚‰ã‚Œã¾ã—ãŸã€‚ Intel wifi Support for AX200 (Cyclone Peak) MSI MPG X570 GAMING PROã¯ã€ŒAX200ã€ã¨ã„ã†wifiãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã‚’æè¼‰ã—ã¦ã„ã¾ã™ã€‚ â€»ã“ã‚Œã¯åŒæ¢±ã®ãƒžãƒ‹ãƒ¥ã‚¢ãƒ«ã«ã‚‚è¨˜è¼‰ã•ã‚Œã¦ã„ã‚‹ã€‚ è¨˜äº‹ã‚’å‚è€ƒã«ã€wifiãƒ‰ãƒ©ã‚¤ãƒã®ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ«ã‚’å®Ÿè¡Œã€‚ $ sudo add-apt-repository ppa:canonical-hwe-team/pc-oem-dkms $ sudo apt-get update $ sudo
masterq 2021/08/11
amd

wifi

motherboard

hardware

driver

intel

ubuntu

linux
ãƒªãƒ³ã‚¯
ã‚¯ã‚¤ãƒƒã‚¯ã‚¹ã‚¿ãƒ¼ãƒˆ: gcloud CLI ã‚’ä½¿ç”¨ã—ã¦ Deep Learning VM ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ã‚’ä½œæˆã™ã‚‹ Â |Â Deep Learning VM Images Â |Â Google Cloud
ãƒ•ã‚£ãƒ¼ãƒ‰ãƒãƒƒã‚¯ã‚’é€ä¿¡ ã‚³ãƒ¬ã‚¯ã‚·ãƒ§ãƒ³ã§ã‚³ãƒ³ãƒ†ãƒ³ãƒ„ã‚’æ•´ç† å¿…è¦ã«å¿œã˜ã¦ã€ã‚³ãƒ³ãƒ†ãƒ³ãƒ„ã®ä¿å˜ã¨åˆ†é¡žã‚’è¡Œã„ã¾ã™ã€‚ gcloud CLI ã‚’ä½¿ç”¨ã—ã¦ Deep Learning VM ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ã‚’ä½œæˆã™ã‚‹ ã“ã®ãƒšãƒ¼ã‚¸ã§ã¯ã€Google Cloud CLI ã‚’ä½¿ç”¨ã—ã¦ Deep Learning VM Images ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ã‚’ä½œæˆã™ã‚‹æ–¹æ³•ã«ã¤ã„ã¦èª¬æ˜Žã—ã¾ã™ã€‚ æº–å‚™ Sign in to your Google Cloud account. If you're new to Google Cloud, create an account to evaluate how our products perform in real-world scenarios. New customers also get $300 in free credits to run, test, and deploy wo
masterq 2021/08/09
ä¾‹ã§ã„ããªã‚ŠGPUç©ã‚“ã ã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹ç«‹ã¦ã¦ãƒ“ãƒ“ã‚‹

gcp

nvidia

driver

cloud

command

cli

gcloud
ãƒªãƒ³ã‚¯
https://www.usenix.org/system/files/sec20-song.pdf
masterq 2021/04/17
fuzzing

virtualization

kernel

driver

device

vm

paper
ãƒªãƒ³ã‚¯
GitHub - securesystemslab/agamotto: Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints
masterq 2021/04/17
https://www.usenix.org/system/files/sec20-song.pdf

linux

kernel

fuzzing

device

driver

source

code
ãƒªãƒ³ã‚¯
https://security.csl.toronto.edu/wp-content/uploads/2020/05/pustogarov-oakland2020-easier.pdf
masterq 2021/04/17
ex-vivoã¨ã„ã†ã®ã¯OSãƒã‚¤ãƒŠãƒªã«ä¿®æ£ã‚’åŠ ãˆãšã«ã‚¨ãƒ©ãƒ¼ã‚’æ¤œå‡ºã™ã‚‹æ–¹æ³•ã€‚ã¡ã‚‡ã£ã¨è‰¯ãã‚ã‹ã‚‰ãªã‹ã£ãŸãŒioctlã§ãƒ‡ãƒãƒ‰ãƒ©ãŒè§¦ã‚‹ãƒ¡ãƒ¢ãƒªãƒžãƒƒãƒ—ãƒ‰IOã‚’ç”Ÿã®ãƒ¡ãƒ¢ãƒªã«åˆæœŸåŒ–æ™‚ã«æŒ¿ã’æ›¿ãˆã¦ã„ã‚‹ã‚ˆã†ã

paper

android

linux

kernel

device

driver
ãƒªãƒ³ã‚¯
NetBSD Device Driver Writing Guide
masterq 2019/08/30
netbsd

device

driver

guide

doc

os

kernel
ãƒªãƒ³ã‚¯
Linux Kernel Teaching â€” The Linux Kernel documentation
masterq 2019/02/25
linux

kernel

doc

syscall

interrupt

smp

debug

vm

device

driver
ãƒªãƒ³ã‚¯
Nintendo Switch system software - Wikipedia
The Nintendo Switch system software (also known by its codename Horizon)[3] is an updatable firmware and operating system used by the Nintendo Switch video game console. It is based on a proprietary microkernel. The UI includes a HOME screen, consisting of the top bar, the screenshot viewer ("Album") Icons, and shortcuts to the Nintendo eShop, News, and Settings. Techno logy[edit] OS[edit] Nintendo
masterq 2019/02/01
â€œAll drivers run in userspace, including the Nvidia driverâ€/"home menu running under 200 kilobytes" RUMPã§GPUãƒ‰ãƒ©ã‚¤ãƒã‚’æ›¸ãæ„Ÿã˜ãªã®ã§ã—ã‚‡ã†ã‹ã€‚ã™ã”ã„ãªã€‚ã€‚ã€‚

microkernel

kernel

os

nintendo

switch

freebsd

userspace

driver

nvidia

gpu
ãƒªãƒ³ã‚¯
Automatic Device Driver Synthesis | TS | Data61
masterq 2019/01/20
ã“ã‚Œã£ã¦TLA+ã¿ãŸã„ãªæ±Žç”¨ã®ãƒ¢ãƒ‡ãƒ«æ¤œæŸ»ã¨ã©ã“ãŒé•ã†ã‚“ã§ã—ã‚‡ã†ã‹ã€‚ã€‚ã€‚

model

check

verify

device

driver

state

formal-method

ã‚ã¨ã§èªã‚€
ãƒªãƒ³ã‚¯
GitHub - ixy-languages/ixy-languages: A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python
Ixy is an educational user space network driver for the Intel ixgbe family of 10 Gbit/s NICs (82599ES aka X520, X540, X550, X552, ...). Its goal is to show that writing a super-fast network driver can be surprisingly simple, check out the full description in the main repository of the C implementation to learn about the basics of user space drivers. Ixy was originally written in C as lowest common
masterq 2019/01/09
network

driver

c

rust

go

csharp

swift

ocaml

haskell

python
ãƒªãƒ³ã‚¯
GitHub - Beckhoff/CCAT: Beckhoff CCAT FPGA Kernel mode driver to run EtherCAT Master on CX devices
masterq 2018/03/19
fpga

ethercat

linux

kernel

driver
ãƒªãƒ³ã‚¯
Raspbianã§Joy-Conã‚’ä½¿ã† - Qiita
è‡ªä½œæºå¸¯ã‚²ãƒ¼ãƒ æ©Ÿã‚’å®Œæˆã•ã›ã‚‹ã«ã‚ãŸã‚Šã€Joy-Conã‚’ä½¿ãˆã‚‹ã‚ˆã†ã«ã™ã‚‹å¿…è¦ãŒã‚ã‚Šè»½ãèª¿ã¹ãŸã€‚ è‡ªä½œã‚²ãƒ¼ãƒ ãƒãƒ¼ãƒ‰(ä»®ç§°: RetroSwitch) Joy-Conå˜ä½“ã§ã‚‚Bluetoothã‚³ãƒ³ãƒˆãƒãƒ¼ãƒ©ã¨ã—ã¦ä½¿ç”¨å¯èƒ½ã ãŒã€ã€Œï¼’ã¤ã®ã‚³ãƒ³ãƒˆãƒãƒ¼ãƒ©ã‚’çµ„ã¿åˆã‚ã›ã¦ï¼‘ã¤ã®ã‚³ãƒ³ãƒˆãƒãƒ¼ãƒ©ã¨ã—ã¦ä½¿ã†ã€ã«ã¯Raspbianå´ã§ã®ãƒ‰ãƒ©ã‚¤ãƒã®ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ«ãŒå¿…è¦ã€‚ å›½å†…å¤–å•ã‚ãšã€ä½“ç³»çš„ã«è¨˜è¿°ã•ã‚ŒãŸè¨˜äº‹ãŒè¦‹å½“ãŸã‚‰ãªã‹ã£ãŸã®ã§è¨˜äº‹ã¨ã—ã¦ã‚ã’ã‚‹ã€‚ â€»Goè¨€èªžã¯åˆã‚ã¦è§¦ã‚‹ã®ã§ã€å‹æ‰‹ãŒã‚ã‹ã‚‰ãšå°Žå…¥ãŒé›£ã—ã‹ã£ãŸã€‚ ä½¿ç”¨ã™ã‚‹ã‚‚ã® ãƒ»Goè¨€èªž ver 1.8ä»¥ä¸Š (Raspbianç”¨) ãƒ»riking/joy-con driver ä½œæ¥å‰æ ãƒ»Raspbianç³»ãƒ‡ã‚£ã‚¹ãƒˆãƒªãƒ“ãƒ¥ãƒ¼ã‚·ãƒ§ãƒ³ãŒèµ·å‹•ã—ã€bashãŒä½¿ãˆã‚‹çŠ¶æ…‹ã«ãªã£ã¦ã„ã‚‹ã“ã¨ ãƒ»ä½•ã‚‰ã‹ã®æ–¹æ³•ã§ã‚¤ãƒ³ã‚¿ãƒ¼ãƒãƒƒãƒˆã«æŽ¥ç¶šã•ã‚Œã¦ã„ã‚‹ã“ã¨ ãƒ»Joy-Con(L)(R)2å°ã¨ã‚‚ã€Raspbia
masterq 2018/02/18
nintendo

switch

joycon

linux

go

driver
ãƒªãƒ³ã‚¯
1 2 æ¬¡ã®ãƒšãƒ¼ã‚¸