Posts by benpye@mastodon.social
 (DIR) Post #Aq3XXEceXWUob2CkyW by benpye@mastodon.social
       0 likes, 0 repeats
       
       @mntmn I just made an order for a Pocket Reform from your online store, but totally forgot to add the ix Ethernet adapter. Is there any way I can add that to my existing order?
       
 (DIR) Post #Aq3XXH7DGs86KOWBt2 by benpye@mastodon.social
       0 likes, 0 repeats
       
       Did I need to write a new RISC-V RTOS in Rust for an ADB-USB adapter? No... Probably not, but that didn't stop me doing it anyway.https://github.com/benpye/rtosThe architecture is inspired by Hubris from @oxidecomputer . It's certainly not finished, but I can now type this post with it!
       
 (DIR) Post #Aq3XXI4lhRlhJ6NkiO by benpye@mastodon.social
       0 likes, 0 repeats
       
       A few things I think are neat:1. It has (AFAIK) the first usb-device implementation for the CH32X035 USBFS peripheral.2. Each task and the kernel are separate crates - built as staticlib and emitted as LLVM IR. The 'app' uses artifact dependencies to pull these in, and link them together into the final binary. This gets us some optimisations between tasks, whilst the PMP ensures isolation at runtime.3. An LLVM plugin is used to rename symbols to allow the different crates to be linked.
       
 (DIR) Post #Aq3XXJ1cAeq8FbukRE by benpye@mastodon.social
       0 likes, 0 repeats
       
       3 (cont). This is compatible with Rust's v0 symbol mangling though some tooling doesn't seem to like the extra suffix.4. Tasks communicate via RPC, all the boilerplate is generated through declarative macros taking trait for the interface. Zerocopy is used to ensure that passing the arguments and return type as bytes is safe. 5. The core RTOS runs on both Qemu and the CH32X035 MCU. It should be easy to run on other WCH or Sifive MCUs as the kernel supports the core peripherals of each.
       
 (DIR) Post #ArXhP2n1rqaI9GBBuy by benpye@mastodon.social
       0 likes, 0 repeats
       
       @s_levi_s @mntmn I’m definitely excited by https://www.crowdsupply.com/modos-tech/modos-paper-monitor - I’d love to see that in a laptop…
       
 (DIR) Post #AvWAdmXqovUVTlcgUq by benpye@mastodon.social
       0 likes, 0 repeats
       
       @mntmn happy birthday!
       
 (DIR) Post #AxN83J4lK9rbYbVd2G by benpye@mastodon.social
       0 likes, 1 repeats
       
       It lives, thank you @mntmn and friends!The DIY assembly, though a little daunting really wasn’t that bad.
       
 (DIR) Post #AxN83KK2gpgFQHfLUW by benpye@mastodon.social
       0 likes, 0 repeats
       
       Some thoughts:- The guide isn’t super clear about how the display flex should sit, initially it was stopping the back cover from fitting- The guide refers to a different WiFi antenna than the one that was included, the one I received has a much shorter cable and had to go on the lid instead- It would be great if the numbers on the bags corresponded with the guide, they didn’t seem to- It would be nice to include a second M.2 screw, luckily I had some kicking about
       
 (DIR) Post #Azf79tmcJAgONMm3rU by benpye@mastodon.social
       0 likes, 0 repeats
       
       @mntmn @theawesomerandomness @holo_memory that sleeve looks great!