Tacos
TACOS-V : DKardTM VM Card OS
Main features
- Built over TaCOS-N Enterprise Edition
- 32 bits VM based on GoogleTM's AndroidTM DalvikTM
- Persistent/transient object by annotations
- Green threading, transactions, class initializers and garbage collection
- Cross package reference support
- Easily portable on any 32 bits architecture
Interfaces
- GlobalPlatformTM compliant loader
- High level API for TaCOS features: filesystem, I/O, cryptography
Security features
-
Multiple isolation model: POSIX-oriented isolation, bytecode firewalled model, …
- Object sharing and application interaction through API and annotations
Tools
- VM Specifications and conversion tool available through Open Source
TACOS-N : A Native Card OS
Main features
- Built over TaCOS Enterprise Edition
- Filesystem: path, filename and FID support, transactions, wear levelling, tearing-proof
- High-level cryptography API: cipher/sign/hash/rng
- Flexible layered I/O model
- Easily portable from 8 bits to 32 bits
Security features
- POSIX-oriented file permissions
- File encryption
- Security driven OS design
Tools
- SDK with Simulator for faster debug
- Documentation
TACOS-C : Community Edition Embedded OS
Description
- Open Source version of TaCOS
- Both native and Virtual Machine based platform
- DarjeelingTM Virtual Machine available
- Object persistent by default, transient support
- String support, green threading, transactions, class initializers and garbage collection
- Cross package reference support
- Easily portable on any 32 bits architecture
Tools
- GCC based toolchain
- Simulator