~martin-decky/helenos/rcu

~martin-decky/helenos/rcu » Changes to contrib/arch/HelenOS.adl from revision 1481

From Revision 1481

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
1479		merge mainline changes merge mainline changes	Martin Decky	12 years ago
108		finally all interfaces are correctly bound finally all interfaces are correctly bound	Martin Decky	15 years ago
105		bind unbound interfaces bind unbound interfaces	Martin Decky	15 years ago
91		protocol closure protocol closure (now all bindings are satisfied and the whole architecture can be verified, but this doesn't mean that the protocols are correct)	Martin Decky	15 years ago
89		various protocol fixes various protocol fixes add console architecture	Martin Decky	15 years ago
84		various fixes and cleanup various fixes and cleanup	Martin Decky	15 years ago
76		hierarchical composition of components hierarchical composition of components (tmpfs, fat, devfs are logical subcomponents of vfs, kbd and fb are subcomponents of console, rd is subcomponent of bd)	Martin Decky	15 years ago
75		update architecture and behavior description update architecture and behavior description update preprocessor	Martin Decky	15 years ago
71		add klog add klog	Martin Decky	15 years ago
70		simplify and add missing protocols simplify and add missing protocols	Martin Decky	15 years ago
68		Extend HelenOS architecture description by introducing Archi... Extend HelenOS architecture description by introducing Architecture Description Language, interface protocols and frame protocols Document kernel syscall API Start documenting uspace architecture and behavior	Martin Decky	15 years ago