nixで古いverilatorを使いたい
はじめに verilator-5.018だとなんかバグるので、5.016に戻したいんだけどもうnixpkgs-unstableに存在しないので、5.010に戻すことにした. % nix-chan...
0
0
Comment0
12 search resultsShowing 1~12 results
Stocked
You need to log-in
ESP-IDFの導入方法
はじめに VSCodeから導入する日本語の記事が見つけられなかったため、メモ書き程度に書きます。Windows11向けで、ESP32-DevKitC-32E ESP32-WROOM-32E開発ボ...
3
2
Comment0
NaN Boxingでハマった話
はじめに 結論から書きます。RISC-Vでは（そして一般的にも？）1本の、例えば128bit精度の浮動小数点レジスタに32bit, 64bitの浮動小数点値を書く時には、下位にその値をおいて、利...
4
3
Comment0
Verilatorはまりどころ
はじめに Verilator 5.006においてはまって憤怒した箇所です。憤怒するたびに記述が増えます。未サポート、と書いたものは、明示的にエラーで「未サポートです」と表示されたものです。そう書...
2
1
Comment0
qemu-system-riscv64でubuntuをbootさせられなかった（失敗編）
はじめに タイトル通りの失敗談です。Ubuntu22.04で試したりdtbとかFDTとかいうのをなんとかかんとかほにゃららできれば動くかもしれません。 Ubuntu22.04で試したら動きました...
0
0
Comment0
RISC-V QEMU + busyboxでlinuxをブートさせる
やりたいこと 64bit RISC-VプロセッサをエミュレートするQEMU上でlinuxをブートさせたい。ユーザーランドは最低限のbusybox環境で済ます。とりあえず記憶と他サイトの記述から抜...
3
2
Comment0
WSL2 + nix + stack + VSCodeでghc環境構築(Haskell Language Server版)
Haskell環境構築2020簡易版 (macOS, Linux向け)をWSL2 + nix上で動かした。脳死コピペでいけるようにできるだけ行間を埋めたつもりになっている。リゾルバがurlだとう...
3
1
Comment0
ランボー怒りのCoqで自然演繹
なにこれ 自然演繹（古典論理）の推論規則をCoqで導出したものです。関数適用などをなるべく避け、素のCICに近い形にしたつもりです。素人なので「つもり」レベルです。(* *)内はコメントで、Sh...
0
0
Comment0
俺用Raspberry Pi Zeroセットアップ手順書
docker+ansibleで自動設定できるようにしました。https://github.com/ruly-rudel/env やりたいこと USB OTGでハブ経由のUSBのイーサネットとwi...
0
0
Comment0
Raspberry Pi OS(Buster/2020 Aug)でnftablesを使ってIPv4 NAPT
やりたいこと Raspberry Pi ZeroをIPv4のNATBOXというかイーサネットコンバータというか、そういう感じのアレにしてQoLを上げたい。ただし、やるのはmasqueradeだけ...
2
2
Comment0
simvメモ
はじめに 完全にいたずら書きです。 メモ マニュアル https://github.com/kovisoft/slimv/blob/master/doc/slimv.txt swakn起動, r...
1
2
Comment0
Ubuntu 16.04 LTSにmikutter 3.6.4をインストール
はまりポイント Ruby 2.5.0が必要（なように見える）が、ubuntu 16.04 LTSには2.3.1しか入ってない rbenvでruby2.5.0を入れてもlibruby.soがビルド...
2
1
Comment0
12 search resultsShowing 1~12 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles