CheriBSD
CheriBSD는 FreeBSD를 바탕으로 CHERI(Capability Hardware Enhanced RISC Instructions) 아키텍처와 capability 기반 메모리 보호를 연구·구현하는 BSD 운영체제다. 메모리 안전성과 권한 분리, 프로그램의 포인터 표현과 ABI를...
| 분류 | CHERI 아키텍처 연구용 BSD 운영체제 |
|---|---|
| 기반·계보 | FreeBSD |
| 주요 특징 | 하드웨어 capability와 메모리 보호 |
| 상태 | 연구·개발 프로젝트 |
| 참고 자료 | 프로젝트 정보 |
CheriBSD는 FreeBSD를 바탕으로 CHERI(Capability Hardware Enhanced RISC Instructions) 아키텍처와 capability 기반 메모리 보호를 연구·구현하는 BSD 운영체제다. 메모리 안전성과 권한 분리, 프로그램의 포인터 표현과 ABI를 하드웨어 및 소프트웨어 수준에서 함께 검토한다. 일반적인 FreeBSD 배포판과 달리 CHERI 지원 CPU와 에뮬레이터를 중요한 실행 대상으로 한다.[1]