| 17 Jun 2023 |
 Lotte (it/its)/Cinny (she/her) θΔ& | I ended up moving the install to iscsi | 15:44:44 |
| Lotte (it/its)/Cinny (she/her) θΔ& | but it works now 🦀 | 15:44:50 |
| Lotte (it/its)/Cinny (she/her) θΔ& | semi related thing i just noticed, the vf2 apparently supports the Zbb extension | 15:45:35 |
| Lotte (it/its)/Cinny (she/her) θΔ& | and then i noticed that gcc was outputting suboptimal assembly for a test case but it’s fixed already | 15:46:08 |
| Lotte (it/its)/Cinny (she/her) θΔ& | https://godbolt.org/z/eEvcbqGYn | 15:46:08 |
 Alex | In reply to @lotte:chir.rs
semi related thing i just noticed, the vf2 apparently supports the Zbb extension Yes, it also has Zba despite neither being mentioned in the vendor's documentation. | 15:52:38 |
| Lotte (it/its)/Cinny (she/her) θΔ& | iirc the core ip they licensed does advertise support for the “B extension” | 15:53:18 |
| Lotte (it/its)/Cinny (she/her) θΔ& | and so does the IPL/firmware | 15:53:28 |
| Alex | For the SiFive U74, Zba and Zbb appear to be optional, so I'm not sure every CPU variant have them. | 15:54:39 |
