Hi Cheng,
The L4 kernel is certainly capable of supporting a variety of different memory management techniques, including ballooning. OKL4 kernels are however a microkernel like, so they do not implement any specific policy. This means that ballooning and other techniques can be implemented using higher level software on top of the kernel API.
Please note, the OKL4 3.0 code base does not include any examples of these types of memory management. If you have any specific requirements, please contact us.
Regards,
Carl