This repository has been archived on 2024-03-23. You can view files and clone it, but cannot push or open issues or pull requests.

Lioncash aa44eb639b kernel/server_port: Make data members private ... With this, all kernel objects finally have all of their data members behind an interface, making it nicer to reason about interactions with other code (as external code no longer has the freedom to totally alter internals and potentially messing up invariants).		2019-03-11 10:41:05 -04:00
..
controller.cpp	kernel/server_session: Make data members private	2019-03-05 20:10:07 -05:00
controller.h	core/core: Remove unnecessary sm/controller include	2018-09-06 14:38:39 -04:00
sm.cpp	service/sm: Improve debug log for RegisterService	2018-12-18 18:22:22 -05:00
sm.h	kernel/server_port: Make data members private	2019-03-11 10:41:05 -04:00