brmlab

User Tools

Site Tools

You are here: Hackerspace Prague » Projects » Ledum
project:ledum:start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
project:ledum:start [2025/07/18 09:46] – [Inctructions and assembly] sachyproject:ledum:start [2025/09/01 10:51] (current) – [Ledum] joe
Line 11: Line 11:
 status=active status=active
 }} }}
 +
 +---- dataentry project ----
 +name: Ledum
 +status: active
 +image: {{:project:ledum:320px-ledum_palustre_bluehend.jpg}}
 +----
  
 This project aims to design and develop a new central processing unit (CPU) with a primary focus on //correctness// and //object capabilities.// The design will prioritize formal verification techniques, ensuring the CPU’s functional correctness while introducing innovative approaches to resource management using object capabilities for improved security, efficiency, and modularity.  This project aims to design and develop a new central processing unit (CPU) with a primary focus on //correctness// and //object capabilities.// The design will prioritize formal verification techniques, ensuring the CPU’s functional correctness while introducing innovative approaches to resource management using object capabilities for improved security, efficiency, and modularity. 
project/ledum/start.1752831990.txt.gz · Last modified: 2025/07/18 09:46 by sachy