Forwarded from Machine-Dependent
My new RISC-V toy!
Please welcome Codasip Prime — the first commercially licensable CHERI application core on FPGA.
Not that we done with experiments, but here is a proof that CHERI architecture is maturing beyond research prototypes.
This is a seriously impressive kit. It synthesizes Codasip X730 64-bit RISC-V CHERI Application CPU on Xilinx FPGA.
It is loaded with commercial IP, including PCIe, Ethernet, L2 cache, PMU, DMA and low speed peripherals (SPI, i2c, mmc, gpio, etc).
The board comes with a couple of PCIe slots for NVME disks.
The key feature of this SoC is CHERI extension support, giving us a new hardware type — CHERI capabilities.
Capabilities is a special hardware-supported pointer that carries bounds and permissions along with the address. It is a replacement for legacy C pointers.
I'm not allowed to share the price tag, but it is for sure the most expensive board I ever had.
I already managed to run FreeBSD and I see it is quite fast thanks to L2 cache and NVME disks.
I will be keeping you posted on CheriBSD progress on this board, which allows us to leverage the CHERI extension.
Please welcome Codasip Prime — the first commercially licensable CHERI application core on FPGA.
Not that we done with experiments, but here is a proof that CHERI architecture is maturing beyond research prototypes.
This is a seriously impressive kit. It synthesizes Codasip X730 64-bit RISC-V CHERI Application CPU on Xilinx FPGA.
It is loaded with commercial IP, including PCIe, Ethernet, L2 cache, PMU, DMA and low speed peripherals (SPI, i2c, mmc, gpio, etc).
The board comes with a couple of PCIe slots for NVME disks.
The key feature of this SoC is CHERI extension support, giving us a new hardware type — CHERI capabilities.
Capabilities is a special hardware-supported pointer that carries bounds and permissions along with the address. It is a replacement for legacy C pointers.
I'm not allowed to share the price tag, but it is for sure the most expensive board I ever had.
I already managed to run FreeBSD and I see it is quite fast thanks to L2 cache and NVME disks.
I will be keeping you posted on CheriBSD progress on this board, which allows us to leverage the CHERI extension.
Forwarded from Gianmarco Gargiulo Mastodon Bridge
YouTube is taking down videos on performing nonstandard Windows 11 installs : DataHoarder
https://old.reddit.com/r/DataHoarder/comments/1oiz0v0/youtube_is_taking_down_videos_on_performing/
Videos from several creators have been taken down on topics including how to install Windows 11 without logging into a Microsoft account and how to install Windows 11 on unsupported hardware. #offrehacked
https://old.reddit.com/r/DataHoarder/comments/1oiz0v0/youtube_is_taking_down_videos_on_performing/
Videos from several creators have been taken down on topics including how to install Windows 11 without logging into a Microsoft account and how to install Windows 11 on unsupported hardware. #offrehacked
Reddit
From the DataHoarder community on Reddit: YouTube is taking down videos on performing nonstandard Windows 11 installs
Explore this post and more from the DataHoarder community
🤬3😭1
Forwarded from они пришли (Евгений)
This media is not supported in your browser
VIEW IN TELEGRAM
🥰7❤3🍓1