Viewing profile — snvzz

In seL4, a VMM escape, hard as that'd be, yields nothing. VMM handles all VM exceptions, and is just another user program. It has no higher capabilities than the VM itself.

Eh, you'd have to pay me to use anything from Analogue. ModRetro put their effort where it matters[0], whereas Analogue aren't even honest about their hardware, with baseless claim…

"open source" is the string that's missing in that announcement. The historical source code (AmigaOS git history up to at least when Commodore went bankrupt) should be MIT and in e…

seL4 is open source and pretty small. What's stopping you?

No source code, no binary, just a page with some claims about code that might even exist. Eh.

Censorship is now being called `guardrails`.

RISC-V conveniently provides a `wfi` (wait for interrupts) instruction or hint -- it can act as a nop when not implemented.

As of the recent launch of the ESP32-S31, all the ESP32 product lines have been migrated to RISC-V. Unsurprisingly, the old, non-standard, encumbered architecture is not missed.

If anything, there's a strong argument to switch to seL4.

To record audio, sample it with an ADC. Then store digitally.

>For one, it had a forbid() system call which would stop the scheduler from pre-empting the current running process. This is, by the way, equivalent to SCHED_FIFO on Linux. There a…

The CUDA addition (a vendor-specific API) is definitely a mistake.

Sounds very Whataboutism. This is about the latter, and not just the correctable ones; Detecting them also has worth.

>the thing about ECC memory is that it doesn't support reporting of ECC errors Wait that. It does, and that's the point. Although the CPU and motherboard do of course also have to …

Non-ECC memory. And into the trash it goes. Refer to https://news.ycombinator.com/item?id=48969530

The keyword being latency. Even a powerful PC, such as running WinNT or Linux on my 9800x3d, doesn't feel as tight as my pretty basic Amiga 500 does. It's the difference between a …

Easier than ever, with RISC-V Vector (RVV), which is part of RVA23.

Drivers run in supervisor mode as part of Linux, unfortunately.

LLMs gave that one last push: Linux is not sustainable. We need to start looking at seL4 as the base, instead.

RISC-V is inevitable. RISC-V is rapidly growing the strongest ecosystem.

However, if on LineageOS, which mind you is the only way to get updated (and thus safer) android versions in many devices, they simply block you. Awful.

I run a 9800x3d with 96GB ECC (2x 48GB DDR5-5800). It was a pain to select a compatible board and source the RAM but glad I did, in June 2024... the RAM prices went up immediately …

>On 32-bit (and thats where density matters) it's sill worse then Thumb even with compression extension. Thumb is really good, but this is no longer true as of late 2021, when bitm…